diff options
Diffstat (limited to 'externals/grill/flext/AUTHORS')
| -rw-r--r-- | externals/grill/flext/AUTHORS | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/externals/grill/flext/AUTHORS b/externals/grill/flext/AUTHORS deleted file mode 100644 index 9a5b6f9e..00000000 --- a/externals/grill/flext/AUTHORS +++ /dev/null @@ -1 +0,0 @@ -Thomas Grill (gr@grrrr.org) |