blob: d37ce513e91ee70c2578230d8845118112e6b432 [file] [log] [blame]
Nico Huberf03ef4f2017-03-04 13:57:09 +01001subdirs-y += ada common proof c
Nico Huber5e9b1b52016-10-08 22:09:33 +02002subdirs-y += debug