Project

General

Profile

« Previous | Next » 

Revision 24a55d0d

ID24a55d0dc53d69e8707f59f96ffdc26d6eddead5
Parent 545772c4
Child 58272238

Added by Teme Kahsai about 6 years ago

fixing double printing of horn rules

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences