Project

General

Profile

« Previous | Next » 

Revision 7d83cfb6

ID7d83cfb6993ce630734116caea2f4094461b00f3
Parent 07402362
Child 74870253

Added by Christoph Egger over 1 year ago

use correct modal operator for ATL

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences