Project

General

Profile

« Previous | Next » 

Revision 1d3f2f66

ID1d3f2f66fca4a9a7c1caad044d2d609944eca1bd
Parent ae08b9fc
Child 72a93147

Added by Pierre-Loïc Garoche 3 months ago

every in kind2 syntax

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences