diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-05-13 10:03:26 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-05-13 10:03:26 -0700 |
| commit | 5497090aa1e708c22cd240913a53dda32bb067aa (patch) | |
| tree | 5a9eb76d447736a8199230c9386bd0a374b325dd /072scenario_screen.cc | |
| parent | 01caf342d072115c27926b1a61c2fc75ab9fbee0 (diff) | |
| download | mu-5497090aa1e708c22cd240913a53dda32bb067aa.tar.gz | |
1363 - rename 'integer' to 'number'
..now that we support non-integers.
Diffstat (limited to '072scenario_screen.cc')
0 files changed, 0 insertions, 0 deletions