diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2016-12-24 07:32:26 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2016-12-24 07:32:26 +0100 |
| commit | de4f005c76d28b0120c37b3e800ea79c9ff503a1 (patch) | |
| tree | 18950fb2f8b7068edc6e8a1e8862752e7a914cbd /doc | |
| parent | e33a7cecfa52959cf4f88132dc01f28fc0eb900c (diff) | |
PORTING: Fix incorrect prelude compilation command.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions