Changeset 10141 in orxonox.OLD for trunk/src/orxonox.cc
- Timestamp:
- Dec 23, 2006, 12:05:13 PM (17 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/orxonox.cc
r10114 r10141 458 458 // create the ~/.orxonox directory if there is not already one 459 459 Directory home("~/.orxonox"); 460 home.create(); 460 if (!home.exists()) 461 home.create(); 461 462 462 463 IniFilePrefsReader ini(File(DEFAULT_CONFIG_FILE).name());
Note: See TracChangeset
for help on using the changeset viewer.