diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2016-10-26 22:32:23 +0200 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2016-10-26 22:32:23 +0200 |
| commit | 4afb115e0a9be2fcd3d20c31ccdccecf1c14652c (patch) | |
| tree | 0bf481f1827c8ca60674d5ff7420c3dc2664903d /prelude | |
| parent | b41f9f762a6aa2c682bcfcd7a80767d4e1e7e888 (diff) | |
Updated authors in MANUAL.txt.
Diffstat (limited to 'prelude')
0 files changed, 0 insertions, 0 deletions