fix
authorChristian Grothoff <christian@grothoff.org>
Sun, 13 May 2018 16:11:09 +0000 (18:11 +0200)
committerChristian Grothoff <christian@grothoff.org>
Sun, 13 May 2018 16:11:09 +0000 (18:11 +0200)
commitc5b7feaca717a5f81ff922d9b3ba1a195b1dfa9d
tree0718aac28ade5be014753409dd92525cef14a904
parentf69c5e0593e0115e48d7a3138f64c183757f6066
fix
contrib/zonewalk-to-types.sh