summaryrefslogtreecommitdiff
path: root/lib/WriteRepo.hs (unfollow)
Commit message (Expand)AuthorFilesLines
2023-10-24a year went byHEADmainstuebinm1-63/+0
2022-10-11code formatterstuebinm1-1/+1
2022-03-19server: write out adjusted mapsstuebinm1-1/+1
2022-03-19switch to universum preludestuebinm1-9/+7
2022-03-19use hpack and clean up modulesstuebinm1-1/+1
2021-12-16fix a bug when writing things outstuebinm1-3/+3
2021-11-28various fixes to bugsstuebinm1-29/+30
2021-11-17exit with code 1 if maximum lint level exceededstuebinm1-5/+6
2021-11-14disable print output when copying filesstuebinm1-2/+2
2021-11-14config option: don't copy asset filesstuebinm1-18/+21
2021-11-10fail on missing map assetsstuebinm1-3/+8
2021-11-10copy map assets (and refuse if any are missing)stuebinm1-20/+47
2021-11-10extra module for repository writeoutstuebinm1-0/+28