diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-06-07 22:58:02 +0200 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-06-07 22:58:02 +0200 |
commit | 1465169d25cd1a86852e13ff0d5792e14594167f (patch) | |
tree | 5aaf368a86d90ed76cd6d12a71cfdf85d6305990 /docs | |
parent | 264c01baa1cf9287cf44dd28e9de7c1716d5141e (diff) |
more suited make target names
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions