diff options
Diffstat (limited to 'CIAO/ciao/Base/Server_init.h')
| -rw-r--r-- | CIAO/ciao/Base/Server_init.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/CIAO/ciao/Base/Server_init.h b/CIAO/ciao/Base/Server_init.h index 3f1901907de..da8b847b800 100644 --- a/CIAO/ciao/Base/Server_init.h +++ b/CIAO/ciao/Base/Server_init.h @@ -1,5 +1,3 @@ -// $Id$ - /** * @file Server_init.h * |