diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-06-17 08:05:57 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-06-17 08:05:57 -0700 |
| commit | 2fa54428e2910d4f8d96e6a548db650d50613535 (patch) | |
| tree | aaff50e600236216843928fd8073b319760049e4 /man | |
| parent | 027a3153256fe9647bf13e28f1faa9ee8806f942 (diff) | |
Renamed entities.h -> entities.inc.
Also tools/make_entities_h.py -> tools/make_entitis_inc.py.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions