diff options
Diffstat (limited to 'gui/misc.h')
| -rw-r--r-- | gui/misc.h | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/gui/misc.h b/gui/misc.h deleted file mode 100644 index ba352841..00000000 --- a/gui/misc.h +++ /dev/null @@ -1,27 +0,0 @@ -/* GDM - The Gnome Display Manager - misc functions - * Copyright (C) 1998, 1999, 2000 Martin K. Petersen <mkp@mkp.net> - * - * 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 - * the Free Software Foundation; either version 2 of the License, or - * (at your option) any later version. - * - * This program is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with this program; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA - */ - -#ifndef MISC_H -#define MISC_H - -void gdm_set_theme (const char *theme_name); -gboolean gdm_working_command_exists (const char *commands); - -#endif /* MISC_H */ - -/* EOF */ |