SpiceQA
Questions
Tags
Users
Badges
capt tuttle
@capt tuttle
0
reputation
0
answers
1
questions
About Me
// Hello, World !
Top Answers
Top Questions
is there a way to make gprconfig use $USER for pathnames so that output file is independent of logged-in USER?
0 votes
0 answers
