- Timestamp:
- 09/07/11 14:11:56 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/FACT++/gui/FactGui.h
r12004 r12006 2826 2826 } 2827 2827 } 2828 2829 cout << "=> " << out.str() << endl;2830 2828 2831 2829 // srand(hash<string>()(string(info.getName())));
Note:
See TracChangeset
for help on using the changeset viewer.