diff --git a/src/plugins/e-acsl/.gitignore b/src/plugins/e-acsl/.gitignore index 2eef575c751445d0d7a7ec9433c82211d9b56706..88f271c1bfa40a7d4c9906a242be0a9852085231 100644 --- a/src/plugins/e-acsl/.gitignore +++ b/src/plugins/e-acsl/.gitignore @@ -1,7 +1,7 @@ *~ -/*.o -/*.cm* -/*.annot +*.o +*.cm* +*.annot /*_DEP /configure /config.log