diff options
author | sternenseemann <git@lukasepple.de> | 2020-05-18 23:11:39 +0200 |
---|---|---|
committer | sternenseemann <git@lukasepple.de> | 2020-05-19 00:20:31 +0200 |
commit | 02c5328396238b1989223e733a7d7cb68cae5b0e (patch) | |
tree | f140aa7b103aa699295ccb541b5131e1de1edb7d | |
parent | 1419c7b80dcc8c206a8189a3969debb65db9102c (diff) |
minor fixes in README
-rw-r--r-- | README.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/README.md b/README.md index 6bb74aa..ccf1b2f 100644 --- a/README.md +++ b/README.md @@ -20,7 +20,7 @@ Here is a short example of a `log` file: Today was just an average day. I haven't been too productive. + Worked on `logbook` again. - Mostly spend time on writing user documentation which + Mostly spent time on writing user documentation which was more or less non-existent before. * Procrastinated a lot. Was very tired and got almost nothing done for university. @@ -178,6 +178,7 @@ For an example template see [`src/logbook_template.ml`](./src/logbook_template.m A little todo list, might get to it at some point. +* [x] man page * [ ] Improve error messages of parser * [ ] General Comments * [ ] CSS support |