diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-09-02 13:19:34 +0200 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-09-02 13:19:34 +0200 |
| commit | e9b92169a5a9d187e32d0ce15ca785eb9f8dce56 (patch) | |
| tree | 6118987dfb09fca23574d776ccba8ddd983ed0d5 /dev-shell | |
| parent | ecd830b3b9e189d0b41cfeadc993c17d5858a79b (diff) | |
Fix manual error
Reported by Matija Šuklje.
Fixes #163.
Diffstat (limited to 'dev-shell')
0 files changed, 0 insertions, 0 deletions