diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-12-08 14:29:02 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-12-08 14:29:02 +0100 |
| commit | f78dfe80a2e4edfe93ea7b6efb4e71b15acdb37f (patch) | |
| tree | 9ea10fd383d02d95fce1303146bb5185121dd2a6 /.gitignore | |
| parent | 44ac326da0c1ad8a695e26074a30909e18d70371 (diff) | |
Update doc/index page
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index fed3570b0..1e25373d7 100644 --- a/.gitignore +++ b/.gitignore @@ -49,6 +49,7 @@ demos/index-numbers.html demos/resourcegrammars.html demos/translation.html doc/tutorial/gf-tutorial.html +doc/index.html doc/gf-bibliography.html doc/gf-developers.html doc/gf-editor-modes.html |