diff options
Diffstat (limited to 'glafp-utils/PATCHLEVEL')
| -rw-r--r-- | glafp-utils/PATCHLEVEL | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/glafp-utils/PATCHLEVEL b/glafp-utils/PATCHLEVEL deleted file mode 100644 index a20156b9cb..0000000000 --- a/glafp-utils/PATCHLEVEL +++ /dev/null @@ -1 +0,0 @@ -Miscellaneous FP-projects-related tools, version 2.01, patchlevel 0 |