diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-18 21:27:40 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-18 21:27:40 +0200 |
| commit | 0a3b822313cc664cef860b39ec74c21e0d00475b (patch) | |
| tree | 5994c67ad1d79820d18451518265de5c91c60b30 /bin/update_html | |
| parent | 1f3c9d0b1736daa979e195bc07d971421768e4ad (diff) | |
| parent | 0a0eaa01bcbe9574bb86a6470ca5139fbd32a9d3 (diff) | |
????
Merge branch 'master' of www.grammaticalframework.org:/usr/local/www/GF
Diffstat (limited to 'bin/update_html')
| -rwxr-xr-x[-rw-r--r--] | bin/update_html | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/bin/update_html b/bin/update_html index 75f54b13e..75f54b13e 100644..100755 --- a/bin/update_html +++ b/bin/update_html |