diff options
| author | Mario Mulansky <mario.mulansky@gmx.net> | 2014-10-24 10:28:51 +0200 |
|---|---|---|
| committer | Mario Mulansky <mario.mulansky@gmx.net> | 2014-10-24 10:28:51 +0200 |
| commit | 0261baf17427d854bdd7368e0a4e5ef8c0997d25 (patch) | |
| tree | b821172b56305ec40af699b9715cb2d761ba06a4 | |
| parent | 874d980976169baf9ec01f8ff4ee1c218a447077 (diff) | |
renamed update website script
| -rwxr-xr-x | doc/update_website (renamed from doc/copy_html) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/copy_html b/doc/update_website index 1be8f05..1be8f05 100755 --- a/doc/copy_html +++ b/doc/update_website |