Revision 652faa76
ID | 652faa7634c655598886694859b04f0fad01d472 |
Parent | 14d02447 |
Child | f7633c64 |
use PanicKit constants for none and default
Files
- added
- modified
- copied
- renamed
- deleted
ID | 652faa7634c655598886694859b04f0fad01d472 |
Parent | 14d02447 |
Child | f7633c64 |
Added by Hans-Christoph Steiner about 2 years ago
use PanicKit constants for none and default