diff options
| author | Jakob Unterwurzacher | 2021-08-11 20:23:46 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2021-08-11 20:23:46 +0200 |
| commit | 4e7efb1dfff2e4b2eda7c2ea623ce5c910bd2dd8 (patch) | |
| tree | 33a63c99198fcbf02c21891280a5a52816295c2d /Documentation/performance.txt | |
| parent | 2d386fc92e88be5384d1654db5d6e23ef4682354 (diff) | |
Makefile: don't ever run "git clean -dxff"
"make ci" almost made me lose the new quirks files.
Let's not do that anymore.
Diffstat (limited to 'Documentation/performance.txt')
0 files changed, 0 insertions, 0 deletions