https://github.com/Singular/Sources
Tip revision: be77cf1dd000fb79a2c712ff01d5455661826482 authored by Hans Schoenemann on 19 November 2014, 13:06:05 UTC
chg: changes from spielwiese
chg: changes from spielwiese
Tip revision: be77cf1
sed.bindist.cmd
/SINGULAR_DATADIR/c\
#define SINGULAR_DATADIR "/usr/local/Singular/LIB"
/SINGULAR_INFODIR/c\
#define SINGULAR_INFODIR "/usr/local/info"