diff options
Diffstat (limited to 'CIAO/tools/IDL3_to_XMI/.gitignore')
| -rw-r--r-- | CIAO/tools/IDL3_to_XMI/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/CIAO/tools/IDL3_to_XMI/.gitignore b/CIAO/tools/IDL3_to_XMI/.gitignore deleted file mode 100644 index f0c5217cfb6..00000000000 --- a/CIAO/tools/IDL3_to_XMI/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/tao_idl3_to_xmi |