diff options
author | Thomas Voss <mail@thomasvoss.com> | 2024-10-30 10:50:22 +0100 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2024-10-30 10:50:22 +0100 |
commit | bf4ffc33598c2b05f7dbb07f688a2eb33b58150b (patch) | |
tree | 28ac0e4e589ecc2e54d1203d926696bdf79c1949 | |
parent | 1ffeb93f11cfaa81d4a06235aa2cd14310c78ed7 (diff) |
Add an .exrc
-rw-r--r-- | .exrc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -0,0 +1 @@ +set makeprg=./make |