split pred out
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 25 Jun 2019 13:10:35 +0000 (14:10 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 25 Jun 2019 13:10:35 +0000 (14:10 +0100)
commitf528f22979b8c972dfea86581928554b21f3fd6e
tree21555089f06326b3911959c3840f8992e9cbbecf
parentea7cd6f189da2284bf94b24c31500e6a49077cf3
split pred out
simple_v_extension/specification.mdwn