Revision a5484aa2 - reactivating all plugins - LustreC

« Previous | Next »

Revision a5484aa2

ID	a5484aa2c17c9e87c75aeaf0f07e35a00509f100
Parent	8658035f
Child	a2b101d3

Added by Pierre-Loïc Garoche 2 months ago

reactivating all plugins

Files

added
modified
copied
renamed
deleted

View differences

lustrec.opam (diff)