diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2017-05-06 21:11:52 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2017-05-06 21:11:58 -0700 |
| commit | eed2f30ee1a512e632c304b67eb41ec4230e7dea (patch) | |
| tree | 730c09ebdc57aec09fe745ecfca94829b032add3 /018type_abbreviations.cc | |
| parent | 996ce5f101e597cf70bda0864f964b356a1005a3 (diff) | |
| download | mu-eed2f30ee1a512e632c304b67eb41ec4230e7dea.tar.gz | |
3846
Be more robust to stray files with numeric prefixes.
Diffstat (limited to '018type_abbreviations.cc')
0 files changed, 0 insertions, 0 deletions