source: src/redundant_includes.txt @ 3433

Last change on this file since 3433 was 3395, checked in by fguidi, 7 years ago

scan for redundant includes with new version of matitadep

File size: 104 bytes
RevLine 
[3395]1./utilities/lists.ma: redundant utilities/option.ma
2./utilities/lists.ma: redundant utilities/option.ma
Note: See TracBrowser for help on using the repository browser.