diff options
Diffstat (limited to 'ace/Synch_Options.i')
| -rw-r--r-- | ace/Synch_Options.i | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/ace/Synch_Options.i b/ace/Synch_Options.i deleted file mode 100644 index 0a31ce8c554..00000000000 --- a/ace/Synch_Options.i +++ /dev/null @@ -1,4 +0,0 @@ -/* -*- C++ -*- */ -// $Id$ - -// Synch_Options.i |