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 /maintainers/check-headers.sh | |
| 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 'maintainers/check-headers.sh')
0 files changed, 0 insertions, 0 deletions