source:
git/Singular/.gitignore
@
8d1432e
Last change on this file since 8d1432e was eac92a, checked in by , 10 years ago | |
---|---|
|
|
File size: 180 bytes |
Line | |
---|---|
1 | /Singular |
2 | /Singulars |
3 | /feOpt.inc |
4 | /feOptES.inc |
5 | /feOptTS.inc |
6 | /iparith.inc |
7 | /mpsr_Tok.inc |
8 | /plural_cmd.inc |
9 | /feOpt |
10 | /feOptES |
11 | /feOptTS |
12 | /gentable1 |
13 | /gentable2 |
14 | /test |
15 | /test-suite.log |
16 | /test.log |
Note: See TracBrowser
for help on using the repository browser.