1
0
mirror of https://github.com/gryf/wmaker.git synced 2025-12-19 20:38:08 +01:00

*** empty log message ***

This commit is contained in:
kojima
1999-04-17 23:11:34 +00:00
parent 8bdc78fcd1
commit 9eb4f894d0
9 changed files with 17 additions and 16 deletions

View File

@@ -169,6 +169,7 @@ Exit(int status)
exit(status);
}
void
Restart(char *manager, Bool abortOnFailure)
{