diff options
| author | Christopher Pulte | 2015-10-06 13:49:23 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2015-10-06 13:49:23 +0100 |
| commit | 08e52c1ff6c326e2448c33aa79836b0e148b8466 (patch) | |
| tree | 51f436d4e9ca820590f7f5320d8e03439d71cafb /src/rewriter.mli | |
| parent | 76cdb6d64798c9a757273282baef32ad20038949 (diff) | |
fix generated message to have correct file extension
Diffstat (limited to 'src/rewriter.mli')
0 files changed, 0 insertions, 0 deletions