Revision 78:52a02a0b7da5
ID | 52a02a0b7da5 |
Parent | 77:f5f7b37f5cfc |
Child | 79:961f401522ef |
fixed bug in termination
Files
- added
- modified
- copied
- renamed
- deleted
ID | 52a02a0b7da5 |
Parent | 77:f5f7b37f5cfc |
Child | 79:961f401522ef |
Added by Štolba Michal over 7 years ago
fixed bug in termination