]> git.ipfire.org Git - thirdparty/bird.git/commit
RPKI: remove old code from grammar int-new-rpki
authorPavel Tvrdík <pawel.tvrdik@gmail.com>
Mon, 25 Jan 2016 14:33:47 +0000 (15:33 +0100)
committerPavel Tvrdík <pawel.tvrdik@gmail.com>
Mon, 25 Jan 2016 14:39:38 +0000 (15:39 +0100)
commita1f92cf15b436e63bfcc8b85fb85e0a7ca32f488
tree2ce68f5fcb914a2e0d5a756f1b29f5fc25e91a97
parent53e411b3634c1f5e68ce1736985bedddbf624b33
RPKI: remove old code from grammar
proto/rpki/config.Y