diff options
author | jade <lix@jade.fyi> | 2024-05-31 19:19:29 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@lix-systems> | 2024-05-31 19:19:29 +0000 |
commit | adedac70fad1f5b6e11d1ac5d4a18ede57830654 (patch) | |
tree | fc08ee4abe5f589d03f6741fc50756b8d81c56c4 /docker.nix | |
parent | a75d7a5777a1f84bdc773c52e5534e08f44a1c5b (diff) | |
parent | a6b33cb3b22f98c7e40ddc47fd5a09c905abd9e6 (diff) |
Merge changes Ifcb0d310,I664366b8,Ibe7cf546 into main
* changes:
gitignore: delete 90% of it
build-time: remove 20% more by PCH'ing C++ stdlib
shellHook: make it actually run
Diffstat (limited to 'docker.nix')
0 files changed, 0 insertions, 0 deletions