Age | Commit message (Expand) | Author |
---|---|---|
2022-08-26 | removed unnecessary definitionHEADmaster | eudoxia |
2022-05-02 | section searching iterates forwards | eudoxia |
2022-05-01 | slight formatting fixes, misc cleaning | eudoxia |
2022-04-25 | added license headers | eudoxia |
2022-04-08 | control flow restructuring; removed doc timestamps | eudoxia |
2022-04-01 | docs formatting fixes | eudoxia |
2022-03-31 | initial | eudoxia |