diff options
author | Paul Vinciguerra <pvinci@vinciconsulting.com> | 2019-07-02 13:00:58 -0400 |
---|---|---|
committer | Dave Barach <openvpp@barachs.net> | 2019-07-03 11:29:39 +0000 |
commit | 063f374393b7e3a86acee232ae828ba674e95839 (patch) | |
tree | 148a88d8785d5fa75b65a65553b0c28211e16c93 /docs/etc | |
parent | c2ac2357fb0ff598ca1cb650a5766a552e017833 (diff) |
vppapigen: allow decimal number in NUM token
Needed to set f64 default values.
Type: feature
Change-Id: Ic58ebc0d9d890bf0e7821894285e61a5bee13199
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'docs/etc')
0 files changed, 0 insertions, 0 deletions