Auke Booij 415cc12c2e [skip ci] Replace non-Haskell assets with master (f8a7312) ... In order to get the PDV refactor branch closer to master, this commit replaces all non-Haskell assets with the version currently on master. This has a few advantages: - Merging to master later on will be slightly easier - We get access to newer tools such as an updated console, which can be used to debug our work on the server - We get an updated test suite which potentially shows bugs we didn't consider yet.		2020-06-22 16:37:27 +02:00
..
builder.dockerfile	[skip ci] Replace non-Haskell assets with master (f8a7312)	2020-06-22 16:37:27 +02:00
get-version.sh	[cli] add docs and build tools (#3)	2018-06-28 11:10:18 +05:30