diff options
| author | Camil Staps | 2015-05-08 13:02:09 +0300 |
|---|---|---|
| committer | Camil Staps | 2015-05-08 13:02:09 +0300 |
| commit | f714efc1b0b88ec5041c1acb5405e0dc34553815 (patch) | |
| tree | bea85a9c544e0ebc064199e83b3a3398d59e624a /README.md | |
| parent | This seems to work (diff) | |
Bugfix; licensing; copyright & contact details; readme
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -1,2 +1,5 @@ # CoqCommandsCounter Count used coq commands + +# Usage +Simply open `index.html` in your browser. A working internet connection is required, since jQuery is loaded from CDN. |