diff options
Diffstat (limited to 'devscripts/make_readme.py')
| -rw-r--r--[-rwxr-xr-x] | devscripts/make_readme.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/devscripts/make_readme.py b/devscripts/make_readme.py index 2270b31d3..2270b31d3 100755..100644 --- a/devscripts/make_readme.py +++ b/devscripts/make_readme.py |