Revision d85a0a0f
ID | d85a0a0f8cdb9ee0d804b6b2f588f497b838edf9 |
Parent | 9188aeef |
Child | 19f38ee8 |
Cleanup an old function
Also replace a type with its synonim.
Files
- added
- modified
- copied
- renamed
- deleted
ID | d85a0a0f8cdb9ee0d804b6b2f588f497b838edf9 |
Parent | 9188aeef |
Child | 19f38ee8 |
Added by Iustin Pop almost 15 years ago
Cleanup an old function
Also replace a type with its synonim.