Revision c6c8786b - kind2 output for printer. global option available - LustreC

« Previous | Next »

Revision c6c8786b

Added by Pierre-Loïc Garoche over 3 years ago

ID c6c8786b0fc28ab9dabcfd944f92805090485269
Parent 03c767b1
Child 25320f03

kind2 output for printer. global option available

added
modified
copied
renamed
deleted

src
- options.ml (diff)
- options_management.ml (diff)
- printers.ml (diff)