Remove obsolete directory
parent
36d5a5cf
No related branches found
No related tags found
Showing
- pfunit/GNUmakefile 0 additions, 82 deletionspfunit/GNUmakefile
- pfunit/README 0 additions, 8 deletionspfunit/README
- pfunit/tests/GNUmakefile 0 additions, 24 deletionspfunit/tests/GNUmakefile
- pfunit/tests/from_example_test.pf 0 additions, 140 deletionspfunit/tests/from_example_test.pf
- pfunit/tests/testSuites.inc 0 additions, 5 deletionspfunit/tests/testSuites.inc
pfunit/GNUmakefile
deleted
100644 → 0
pfunit/README
deleted
100644 → 0
pfunit/tests/GNUmakefile
deleted
100644 → 0
pfunit/tests/from_example_test.pf
deleted
100644 → 0
pfunit/tests/testSuites.inc
deleted
100644 → 0
Please register or sign in to comment