|
|
e94c3eb65a
|
Add npm package.json
|
2020-05-24 23:16:02 +02:00 |
|
|
|
488364f68b
|
Add makefile
|
2020-05-24 23:12:29 +02:00 |
|
|
|
4642375d95
|
remove main.toc, update gitignore
|
2020-05-24 23:11:21 +02:00 |
|
|
|
191382b6d9
|
rename project, split up files, add argument inputs
|
2020-05-24 23:10:30 +02:00 |
|
|
|
dec6756b06
|
Remove synctex
|
2020-05-20 10:28:08 +02:00 |
|
|
|
fa7efdb067
|
Initial commit
|
2020-05-20 10:19:01 +02:00 |
|
