Reads indir from a file (ignored by git so any user can have its own) #105

Closed annesodub closed 4 months ago