|
school
|
Add dima notes
|
2019-01-31 19:08:19 +01:00 |
|
templates
|
Initial commit
|
2018-10-13 13:23:37 +02:00 |
|
.drone.yml
|
Who needs caching anyway
|
2018-10-24 15:07:17 +02:00 |
|
.gitignore
|
Ignore minted output
|
2018-11-15 11:53:55 +01:00 |
|
build_watch.sh
|
Add watch script for incremental builds
|
2018-10-17 17:45:42 +02:00 |
|
index.md
|
Add RA notes
|
2018-10-23 15:07:31 +02:00 |
|
Makefile
|
Skip generation of PDF files
|
2019-01-31 15:26:30 +01:00 |
