|
data
|
add some style stuff
|
2020-08-18 16:49:01 +02:00 |
|
langfilter
|
add initial version of pandoc filter
|
2020-08-18 18:33:25 +02:00 |
|
pages
|
add static file copy
|
2020-10-30 07:54:28 +01:00 |
|
style
|
style tweaks
|
2020-08-18 18:47:03 +02:00 |
|
.gitattributes
|
add some style stuff
|
2020-08-18 16:49:01 +02:00 |
|
.gitignore
|
add initial version of pandoc filter
|
2020-08-18 18:33:25 +02:00 |
|
cabal.project
|
add initial version of pandoc filter
|
2020-08-18 18:33:25 +02:00 |
|
Makefile
|
reorder some lines
|
2020-10-30 07:54:42 +01:00 |
