projects / ppl/ppl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8a9cfe) | patch
Added targets to have `make -n dist' work as expected.
authorRoberto Bagnara <bagnara@cs.unipr.it>
Thu, 16 Apr 2009 09:15:41 +0000 (11:15 +0200)
committerRoberto Bagnara <bagnara@cs.unipr.it>
Thu, 16 Apr 2009 09:15:41 +0000 (11:15 +0200)
commit196f2de7fe79d67450109628d144b9b8f4ec2e3e
tree200b3495c9ea7a5d094e82dfcd1897a488d08157tree | snapshot
parentd8a9cfe7cf1e6ddeaf08b4647a3f29d88f9f924bcommit | diff
Added targets to have `make -n dist' work as expected.
Watchdog/doc/Makefile.am diff | blob | history
doc/Makefile.am diff | blob | history
PPL sources central repository