diff options
| author | Joris | 2016-03-27 19:21:44 +0200 |
|---|---|---|
| committer | Joris | 2016-03-27 19:21:44 +0200 |
| commit | 9b7546b99411a8364eccf6b0262a3c0c7d82380c (patch) | |
| tree | 24f9186d9168e5422b202f77d64e3da6209a764f /src/server/Design/Errors.hs | |
| parent | 75505a85773d0620cc7216cf8583c447cae47891 (diff) | |
Add the user name in the header
Diffstat (limited to 'src/server/Design/Errors.hs')
0 files changed, 0 insertions, 0 deletions