diff options
| author | Chong Yidong <[email protected]> | 2008-11-17 01:52:22 +0000 |
|---|---|---|
| committer | Chong Yidong <[email protected]> | 2008-11-17 01:52:22 +0000 |
| commit | 6d831038791f23d4a3b9038afe0e9b562873f4f0 (patch) | |
| tree | 4d81fe99d8f6277c9e46bcc201e07af1bafc2746 /make-dist | |
| parent | 194894cb113ac796bb44ab4b316e9fe0d6322101 (diff) | |
Minor doc fix, suggested by Juri Linkov.
Diffstat (limited to 'make-dist')
0 files changed, 0 insertions, 0 deletions