diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-26T13·39+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-26T13·39+0000 |
| commit | c778ed17687a506c46c107a7adb1f3173d8136da (patch) | |
| tree | 66e6a224f7bb76cb12b30575da0b595d366b0b01 /doc/manual | |
| parent | ef337f7089e484929be92114dac5455d00cebb45 (diff) | |
* Fix the copy-from-other-stores substituter.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions