Revision d8e83543
ID | d8e83543ecf66418f0d4b0768bde396564f185bf |
Parent | 29aaab6c |
Child | d84d066d |
adding ftprintf to ease printing with timestamp
Files
- added
- modified
- copied
- renamed
- deleted
ID | d8e83543ecf66418f0d4b0768bde396564f185bf |
Parent | 29aaab6c |
Child | d84d066d |
Added by Csaba Kiraly about 10 years ago
adding ftprintf to ease printing with timestamp