descriptionUnnamed repository; edit this file 'description' to name the repository.
ownergit daemon user
last changeMon, 9 Apr 2018 20:49:18 +0000 (22:49 +0200)
shortlog
2018-04-09 Vincent Dahmenslides: ready, not checked for typos master origin/master
2018-04-09 Vincent Dahmenadds working tex-markdown makefilen and init data
2018-04-09 Vincent Dahmenfirst slides
2018-04-09 Vincent DahmenInitial commit
heads
4 years ago master