Age | Commit message (Expand) | Author |
---|---|---|
2018-01-30 | Switched from list.js to fuse.js and paginathing.js | Ilmari Lauhakangas |
2018-01-23 | Use list.js for Index listing and search | Ilmari Lauhakangas |
2017-12-07 | move generation of HTML help to gbuild | David Tardon |