source: git/Singular/LIB/.gitattributes @ 92992c

fieker-DuValspielwiese
Last change on this file since 92992c was 3686937, checked in by Oleksandr Motsak <motsak@…>, 11 years ago
Added '$Id$' as a comment to all libs (LIB/*.lib)
  • Property mode set to 100644
File size: 12 bytes
Line 
1*.lib ident
Note: See TracBrowser for help on using the repository browser.