diff options
| author | Joris | 2015-12-30 17:01:56 +0100 |
|---|---|---|
| committer | Joris | 2015-12-30 17:01:56 +0100 |
| commit | 5bfd349bedb9c395cbeb38bb888e379ba36d5d35 (patch) | |
| tree | 9af91491aa693967bf66e48c385dbde2f64e3ca4 /src/server/Design/LoggedIn.hs | |
| parent | 73a2f72f07ca2a8c8757bcfd9e8ff37561dcb332 (diff) | |
Minor design modifications
Diffstat (limited to 'src/server/Design/LoggedIn.hs')
0 files changed, 0 insertions, 0 deletions