Project

General

Profile

« Previous | Next » 

Revision acc47724

IDacc47724584a8ad52bdc60c18d3ae514ac49583e
Parent 6a87d644

Added by Thorsten WiƟmann about 5 years ago

Make Or-step in And-Or-rules lazy

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences