Age | Commit message (Expand) | Author |
---|---|---|
2020-02-16 | Automatically generate a revision table from git history | Thomas Letan |
2020-02-05 | Add minimal comments to the script that keep .gitignore up-to-date | Thomas Letan |
2020-02-05 | Keep the list of html files to ignore up-to-date when building | Thomas Letan |