Revision fbf7067c
ID | fbf7067ce39c5bdb9c610b302097f6595ee428ab |
Parent | a4a7d0f1 |
Child | 9f1da074 |
leave gracefully also on sigint
Files
- added
- modified
- copied
- renamed
- deleted
ID | fbf7067ce39c5bdb9c610b302097f6595ee428ab |
Parent | a4a7d0f1 |
Child | 9f1da074 |
Added by Csaba Kiraly almost 10 years ago
leave gracefully also on sigint