Serge Schneider 175dfb027f Update release notes		2019-07-08 19:52:00 +01:00
..
files	Update release notes	2019-07-08 19:52:00 +01:00
00-run.sh	os_list: add checksums for PINN	2019-06-07 15:55:54 +01:00