| Fri, 23 Jun 2017 10:16:49 +0200 | Alexandre Segura | Introduce note editing, allow deleting note. | file | diff | annotate |
| Thu, 22 Jun 2017 12:37:53 +0200 | Alexandre Segura | Store margin comment. | file | diff | annotate |
| Thu, 22 Jun 2017 12:53:00 +0200 | ymh | some linting | file | diff | annotate |