Dave's preferences for easy make set up good
- Look at scripts/init-prefs for the relevant environment.
- Look at
installdirectory for other manual things.
Probably requires a little bit of thought and trial/error to get right.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Dave's preferences for easy make set up good
install directory for other manual things.Probably requires a little bit of thought and trial/error to get right.