diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-02-20T11·32+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-02-20T11·32+0000 |
| commit | 7f0ed370da62b867d90ba5346f4b9f217fbbe10f (patch) | |
| tree | a7b62d2cda108f60f7197fb84732a420d83e55fb /doc/manual | |
| parent | dbf547645d26baee030d7db0535e0c0be72c13cc (diff) | |
* Use $(storedir) instead of $(prefix)/store.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions