descriptionUnnamed repository; edit this file 'description' to name the repository.
ownergit daemon user
last changeTue, 27 Nov 2018 03:01:24 +0000 (04:01 +0100)
shortlog
2018-11-27 Vincent Dahmenpresentation: adds last 2 slides and finalizes everything master
2018-11-21 Vincent Dahmenslides/title: fixes typos + feedback
2018-11-21 Vincent Dahmenslides: first draft
2018-11-20 Vincent Dahmenpresentation: setup name and email
2018-11-20 Vincent Dahmenslides: switches titles to markdown style
2018-11-20 Vincent Dahmenpresentation: adapts pandoc style format
2018-11-20 Vincent Dahmeninit
heads
3 years ago master