images
|
images: add the highlighter image
|
2020-07-05 11:36:59 +02:00 |
misc
|
misc: remove useless staffs from notes-moyal.md
|
2020-07-05 11:36:56 +02:00 |
sections
|
slides: misc changes requested by rnhmjoj
|
2020-07-05 11:36:58 +02:00 |
makefile
|
slides: initial setup
|
2020-07-05 11:36:34 +02:00 |