Closed GoogleCodeExporter closed 9 years ago
Floating point numbers may include a dot without decimals: optional double something = 1 [default = 1.];
Original issue reported on code.google.com by alr...@google.com on 28 Nov 2011 at 11:28
alr...@google.com
r72f5ad5f6a5c
Original comment by alr...@google.com on 28 Nov 2011 at 11:53
Original issue reported on code.google.com by
alr...@google.com
on 28 Nov 2011 at 11:28