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
File | Mode | Size |
---|---|---|
doc | ||
include | ||
src | ||
CMakeLists.txt | -rw-r--r-- | 4.1 KB |
COPYING | -rw-r--r-- | 17.8 KB |
Makefile | -rw-r--r-- | 638 bytes |
README | -rw-r--r-- | 774 bytes |
configure | -rwxr-xr-x | 2.1 KB |