Eric fd1178edce Allow removing regions		2018-11-16 14:37:49 +01:00
..
interface	Allow removing regions	2018-11-16 14:37:49 +01:00
v6	Allow removing regions	2018-11-16 14:37:49 +01:00
v7	Allow removing regions	2018-11-16 14:37:49 +01:00
pom.xml	Whoops, also fix WG7 implementation due to changes in the API	2018-11-04 12:40:44 +01:00