Jérémie Dimino bc19e14b35 Add ignored_subdirs stanza (#767)		2018-05-12 15:38:22 +02:00
..
sample-projects	Rename all jbuild files	2018-05-04 12:26:26 +01:00
dune	Add ignored_subdirs stanza (#767)	2018-05-12 15:38:22 +02:00