suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added $PLT/compiled-root/ to git's ignore list so we have somewhere convenient

Browse Source 
to point PLTCOMPILEDROOTS at.  This is much like $PLT/add-on/ for PLTADDONDIR
and $PLT/house-calls/ for DrDr.
This commit is contained in:
Carl Eastlund 2012-09-20 12:08:22 -04:00
parent 37ff798163
commit 018f16d30c
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.gitignore vendored
View File

@ -17,6 +17,9 @@
# a common convenient place to set the PLTADDON directory to
/add-on/
# a common convenient place to set the PLTCOMPILEDROOTS directory to
/compiled-root/
# location for cached DrDr report files
/house-calls/