/src/plugins/scopes/dune - Diff - LustreC

« Previous | Next »

Revision ca7ff3f7

Added by Lélio Brun 8 months ago

ID ca7ff3f7d0683919e7a2950ab977708d58aa208d
Parent 3ee26303
Child d0f26f04

reformatting

src/plugins/scopes/dune
8	8	(plugin
9	9	(name scopes_plugin)
10	10	(libraries lustrec.scopes)
11		(site (lustrec plugins)))
	11	(site
	12	(lustrec plugins)))

Also available in: Unified diff