source: git/Singular/mod_lib.cc

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(add) @adc0a4   11 years hannes chg: moved type_of_LIB for Singular/mod_lib.* spielwiese
Note: See TracRevisionLog for help on using the revision log.