diff options
author | Chris Wilson <chris+github@qwirx.com> | 2009-09-21 23:38:39 +0000 |
---|---|---|
committer | Chris Wilson <chris+github@qwirx.com> | 2009-09-21 23:38:39 +0000 |
commit | 349dbd7d2d357b58b77156154940b8a50bb7f756 (patch) | |
tree | 5d7dd44f3bfac130197fc9537ce36d2804f702b5 /infrastructure | |
parent | b2ffc56814a6e798f6d6618945fa5efb61ff3261 (diff) |
Fix wrong name of html manual directory.
Diffstat (limited to 'infrastructure')
0 files changed, 0 insertions, 0 deletions