diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-07-28 19:33:19 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-07-28 19:34:58 -0700 |
commit | c91caafd5bd5dae25b0e0efa19879258ff61ad93 (patch) | |
tree | 3f236b1ceefbb92fe4ca1684e45e89c143781571 /060string.mu | |
parent | dad1cb27f129a7f23556f76c649fef45f427b18f (diff) | |
download | mu-c91caafd5bd5dae25b0e0efa19879258ff61ad93.tar.gz |
1879 - types required at first mention of a name
That should avoid many issues with typos in names.
Diffstat (limited to '060string.mu')
0 files changed, 0 insertions, 0 deletions