diff options
Diffstat (limited to 'externals/grill/namedobjs/gpl.txt')
-rw-r--r--[-rwxr-xr-x] | externals/grill/namedobjs/gpl.txt | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/externals/grill/namedobjs/gpl.txt b/externals/grill/namedobjs/gpl.txt index 5ea29a7d..5ea29a7d 100755..100644 --- a/externals/grill/namedobjs/gpl.txt +++ b/externals/grill/namedobjs/gpl.txt |