Commits · dbf2253dc4256809b255767cbf4ae9c236f18542 · hub / walint · GitLab

Snippets Groups Projects

This is an archived project. Repository and other project resources are read-only.

Mar 19, 2022
- server: write out adjusted maps · b7c0cd8f
  stuebinm authored Feb 25, 2022
  
  b7c0cd8f
- switch to universum prelude · 52bf0fa6
  stuebinm authored Feb 18, 2022
  52bf0fa6
- use hpack and clean up modules · 1530a464
  stuebinm authored Jan 14, 2022
  1530a464
Dec 16, 2021
- fix a bug when writing things out · ee73be28
  stuebinm authored Dec 16, 2021
  ee73be28
Nov 28, 2021
- various fixes to bugs · efb64e02
  stuebinm authored Nov 28, 2021
  efb64e02
Nov 16, 2021
- exit with code 1 if maximum lint level exceeded · a572b9e1
  stuebinm authored Nov 16, 2021
  
  a572b9e1
Nov 14, 2021
- disable print output when copying files · 8b833a46
  stuebinm authored Nov 14, 2021
  8b833a46
- config option: don't copy asset files · 0e5951ee
  stuebinm authored Nov 14, 2021
  
  0e5951ee
Nov 10, 2021
- fail on missing map assets · 0b29a7e8
  stuebinm authored Nov 10, 2021
  0b29a7e8
- copy map assets (and refuse if any are missing) · 1338e4a1
  stuebinm authored Nov 10, 2021
  
  1338e4a1
- extra module for repository writeout · 508f8885
  stuebinm authored Nov 10, 2021
  
  508f8885

Impressum - Datenschutzerklärung