Revision 24a55d0d
fixing double printing of horn rules
Files
- added
- modified
- copied
- renamed
- deleted
ID | 24a55d0dc53d69e8707f59f96ffdc26d6eddead5 |
Parent | 545772c4 |
Child | 58272238 |
Added by Teme Kahsai almost 6 years ago
fixing double printing of horn rules