fix pinmerge issue, merge pingroup
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 28 Mar 2018 15:12:35 +0000 (16:12 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 28 Mar 2018 15:12:35 +0000 (16:12 +0100)
commitf27ac8fbf373b1dc818f3eda9898d01512798df5
treee13deb0418d8e4bacbd5ce6399a430025aaa52e1
parent6b579be6fa023fdb54c1658c2c55c68fe9f9b152
fix pinmerge issue, merge pingroup
src/spec/gen.py
src/spec/interfaces.py