diff --git a/.gitignore b/.gitignore index 186cf51d1652b4893623d3d50b1636368e9f8669..83597fb5e8cd594473e184cc1283e5b20f32abaf 100644 --- a/.gitignore +++ b/.gitignore @@ -13,6 +13,7 @@ doc/stamp-vti doc/version.texi resources/runtime/polyorb-hi-ada resources/runtime/polyorb-hi-c +resources/runtime/python/ocarina.pyc support/mdate-sh support/texinfo.tex tools/compare.py