Project

General

Profile

« Previous | Next » 

Revision a879351b

IDa879351b5aa91d1ffda734aae5bcea1e4950cc09
Parent 5c3b45a0
Child 4c3c6658

Added by Pierre-Loïc Garoche about 1 year ago

Printers bug solved: now properly printing lustre file as open/types/other decls

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences