josh cf4f80c9ae user guide: document first compiler found is used

2019-07-09 21:47:45 -04:00

..

user_guide.md

user guide: document first compiler found is used

2019-07-09 21:47:45 -04:00