source: git/Tst/Plural/short.lst

spielwiese
Last change on this file was 32e84f, checked in by Hans Schoenemann <hannes@…>, 7 years ago
removed AlgDep-qso3-dp.tst from Plural/short.lst: also in Plural.lst
  • Property mode set to 100644
File size: 132 bytes
Line 
1AnnFD-sl2-4
2AnnFD-sl2-7
3AnnFD-sl2-10
4TwoGB-g2-3
5ucha4
6mult_lie1
7mult_skew1
8Syz-qso3
9Syz-qso3-q3
10doc-dim
11doc-division1
12doc-division2
Note: See TracBrowser for help on using the repository browser.