Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Post-release fixes round 2!
|
|
|
|
This just makes managing the media repo a bit easier.
|
|
I made this fix earlier but totally forgot to commit it
whoops
|
|
Fixes #96 and #113
|
|
Fixes #102
|
|
|
|
fixes #97, #98, #101, #104, #108, #110, #111, #114, #116
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
addresses #103
|
|
|
|
Fixes #84. Yes, of course this works.
|
|
|
|
|
|
\#94
|
|
|
|
also dare directorify
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fixes #82, #83, #90, #91
|
|
|
|
fixes #71, #72, #73, #74, #75, #77, #78, #79, #80, #81
|
|
also parsec productions group
|
|
|
|
|
|
|
|
|