diff options
| -rw-r--r-- | mixgtk/gmixvm.c | 5 | ||||
| -rw-r--r-- | mixgtk/mixgtk.c | 3 | ||||
| -rw-r--r-- | mixgtk/mixgtk_config.c | 6 | ||||
| -rw-r--r-- | mixgtk/mixgtk_device.c | 7 | ||||
| -rw-r--r-- | mixgtk/mixgtk_wm.c | 6 |
5 files changed, 18 insertions, 9 deletions
diff --git a/mixgtk/gmixvm.c b/mixgtk/gmixvm.c index 91b03f3..75b2f88 100644 --- a/mixgtk/gmixvm.c +++ b/mixgtk/gmixvm.c @@ -1,9 +1,9 @@ /* -*-c-*- -------------- gmixvm.c : * Main function of the mix gtk front-end * ------------------------------------------------------------------ - * $Id: gmixvm.c,v 1.3 2001/09/28 23:10:45 jao Exp $ + * $Id: gmixvm.c,v 1.4 2002/03/29 16:30:49 jao Exp $ * ------------------------------------------------------------------ - * Copyright (C) 2001 Free Software Foundation, Inc. + * Copyright (C) 2001, 2002 Free Software Foundation, Inc. * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by @@ -21,6 +21,7 @@ * */ +#include <stdio.h> #include <stdlib.h> #include "mixgtk.h" diff --git a/mixgtk/mixgtk.c b/mixgtk/mixgtk.c index 9c18703..760008e 100644 --- a/mixgtk/mixgtk.c +++ b/mixgtk/mixgtk.c @@ -3,7 +3,7 @@ * ------------------------------------------------------------------ * Last change: Time-stamp: "2001-05-20 18:03:05 jao" * ------------------------------------------------------------------ - * Copyright (C) 2001 Free Software Foundation, Inc. + * Copyright (C) 2001, 2002 Free Software Foundation, Inc. * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by @@ -22,6 +22,7 @@ */ #include <stdio.h> +#include <string.h> #include "mixgtk_widgets.h" #include "mixgtk_cmd_dispatcher.h" diff --git a/mixgtk/mixgtk_config.c b/mixgtk/mixgtk_config.c index 0dad33e..ccd1216 100644 --- a/mixgtk/mixgtk_config.c +++ b/mixgtk/mixgtk_config.c @@ -1,9 +1,9 @@ /* -*-c-*- -------------- mixgtk_config.c : * Implementation of the functions declared in mixgtk_config.h * ------------------------------------------------------------------ - * $Id: mixgtk_config.c,v 1.7 2001/09/18 22:50:30 jao Exp $ + * $Id: mixgtk_config.c,v 1.8 2002/03/29 16:30:49 jao Exp $ * ------------------------------------------------------------------ - * Copyright (C) 2001 Free Software Foundation, Inc. + * Copyright (C) 2001, 2002 Free Software Foundation, Inc. * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by @@ -23,6 +23,8 @@ #include <stdlib.h> #include <stdio.h> +#include <string.h> + #include <sys/types.h> #include <sys/stat.h> #include <errno.h> diff --git a/mixgtk/mixgtk_device.c b/mixgtk/mixgtk_device.c index 0b99574..b3d3b06 100644 --- a/mixgtk/mixgtk_device.c +++ b/mixgtk/mixgtk_device.c @@ -1,9 +1,9 @@ /* -*-c-*- ---------------- mixgtk_device.c : * actual types for mixgtk devices * ------------------------------------------------------------------ - * Last change: Time-stamp: <2001-05-10 23:42:26 jao> + * $Id: mixgtk_device.c,v 1.17 2002/03/29 16:30:49 jao Exp $ * ------------------------------------------------------------------ - * Copyright (C) 2001 Free Software Foundation, Inc. + * Copyright (C) 2001, 2002 Free Software Foundation, Inc. * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by @@ -24,8 +24,11 @@ #include <stdio.h> #include <stdlib.h> +#include <string.h> + #include <mixlib/mix_vm_command.h> #include <mixlib/xmix_device.h> + #include "mixgtk.h" #include "mixgtk_gen_handlers.h" #include "mixgtk_widgets.h" diff --git a/mixgtk/mixgtk_wm.c b/mixgtk/mixgtk_wm.c index 9f227c5..9a7e2ef 100644 --- a/mixgtk/mixgtk_wm.c +++ b/mixgtk/mixgtk_wm.c @@ -1,9 +1,9 @@ /* -*-c-*- -------------- mixgtk_wm.c : * Implementation of the functions declared in mixgtk_wm.h * ------------------------------------------------------------------ - * Last change: Time-stamp: "2001-06-24 14:36:18 jao" + * $Id: mixgtk_wm.c,v 1.6 2002/03/29 16:30:49 jao Exp $ * ------------------------------------------------------------------ - * Copyright (C) 2001 Free Software Foundation, Inc. + * Copyright (C) 2001, 2002 Free Software Foundation, Inc. * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by @@ -21,6 +21,8 @@ * */ +#include <string.h> + #include "mixgtk_widgets.h" #include "mixgtk_config.h" #include "mixgtk_wm.h" |