aboutsummaryrefslogtreecommitdiff
path: root/thirdparty/jed
AgeCommit message (Expand)Author
2017-04-24Reorganize module loading.Florian Dold
2016-10-04Merge commit 'eeaa2c11ee64761b706a41478bc74fedbf4162d7' as 'thirdparty/jed'Florian Dold