diff options
Diffstat (limited to 'glafp-utils/PATCHLEVEL')
| -rw-r--r-- | glafp-utils/PATCHLEVEL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/glafp-utils/PATCHLEVEL b/glafp-utils/PATCHLEVEL index 9667fc05ed..a20156b9cb 100644 --- a/glafp-utils/PATCHLEVEL +++ b/glafp-utils/PATCHLEVEL @@ -1 +1 @@ -Miscellaneous GRASP-project tools, version 0.16, patchlevel 0 +Miscellaneous FP-projects-related tools, version 2.01, patchlevel 0 |