diff options
author | Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2013-02-28 16:42:34 +0200 |
---|---|---|
committer | Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2013-02-28 16:42:34 +0200 |
commit | 0e3053894ff200288fc16056a50ac37b62785471 (patch) | |
tree | 244ee6d0f77b333f584a0298f24f9eb48cbc222c /example/Makefile | |
parent | 57e81ca73b0e0f54e29ca29ec13af551a5335a9b (diff) |
Add --extension option to generator.
Patch courtesy of Michael Haberler.
Diffstat (limited to 'example/Makefile')
0 files changed, 0 insertions, 0 deletions