-
Emmanuele Bassi authored
They are generated at configure time, so it's a good idea to have them in the main ignore file instead of adding them to the built ignore files under tests.
b5bbdd6c
They are generated at configure time, so it's a good idea to have them in the main ignore file instead of adding them to the built ignore files under tests.