diff options
Diffstat (limited to 'externals/grill/pool/readme.txt')
| -rw-r--r-- | externals/grill/pool/readme.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/externals/grill/pool/readme.txt b/externals/grill/pool/readme.txt index e9c21b82..092a4f75 100644 --- a/externals/grill/pool/readme.txt +++ b/externals/grill/pool/readme.txt @@ -88,6 +88,7 @@ Version history: - improved reading of legacy data by Frank Barknecht - use statically allocated lists where feasible - bug fix: [reset( didn't reset the current dir +- file loading: fixed recognition of stringified directory names 0.2.0: - attributes (pool,private,echodir,absdir) |