Changeset 762 for library/bdm/base/user_info.h
- Timestamp:
- 01/11/10 14:39:33 (14 years ago)
- Files:
-
- 1 modified
Legend:
- Unmodified
- Added
- Removed
-
library/bdm/base/user_info.h
r760 r762 614 614 }; 615 615 616 //! auxiliary function for debugging 617 void UI_DBG ( Setting &S, const string &spc ); 618 616 619 } 617 620