matthieu 93b3d9d7a9 Remove socppc sets. ok tb@		2019-05-11 12:05:08 +00:00
..
notes	socppc is gone	2019-05-11 07:22:55 +00:00
sets	Remove socppc sets. ok tb@	2019-05-11 12:05:08 +00:00