Changeset a338faa for configure

Timestamp:
2012-06-04T13:55:58Z (12 years ago)
Author:
Wilmer van der Gaast <wilmer@…>
Branches:
master
Children:
00f1e93
Parents:
0153ba9
Message:

Use xmltree to save user settings, in preparation for allowing other storage
media than local fs.

(No files)

Note: See TracChangeset for help on using the changeset viewer.