diff options
| author |  Dieter Plaetinck <dieter@plaetinck.be> | 2009-09-05 19:37:15 +0200 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-09-05 19:37:15 +0200 |
| commit | 52096933524fbc5c5fecc8f000328677a217ef06 (patch) | |
| tree | df58f40687b242c7ee3c0ef999e8134bcf5789bc /docs | |
| parent | b9013fb779379c502b7707169eeac7dc15cfdd51 (diff) | |
fix some forgotten changes to Makefile in previous commit
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions