log src/protodef.h @ 35080:fcc356d45610 default tip

age author description
Thu, 13 Sep 2018 17:30:06 +0200 Christian Brabandt patch 8.1.0380: "make proto" doesn't work well v8.1.0380