fish: Declare run_* functions in a generated header file.
authorRichard W.M. Jones <rjones@redhat.com>
Sun, 7 Aug 2011 20:04:00 +0000 (21:04 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Sun, 7 Aug 2011 20:04:00 +0000 (21:04 +0100)
commit3064277680ad11f887691646d0fa17bb35f38c19
tree7aa14dea6a230e647e847b8ad1342abd8d3ef7c1
parent18ee38e1eac132b91706771285d1764641179804
fish: Declare run_* functions in a generated header file.

Calls to these functions are generated, so there is no need to declare
the functions by hand.
.gitignore
fish/fish.h
generator/generator_fish.ml
generator/generator_main.ml