diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-12-21 13:20:11 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-12-21 13:20:11 -0500 |
commit | 65e08aafe417c881b89e5c689048fd627a72129b (patch) | |
tree | e279f8eac17705d5eb71285caed6033d691aba8d /src/suffix.mlb | |
parent | ac637085e36c23d9963c8695e4a3294d49494b68 (diff) |
Compatibility fix in header file
Diffstat (limited to 'src/suffix.mlb')
0 files changed, 0 insertions, 0 deletions