Wed Nov 21 10:06:19 GMT 2012 Edsko de Vries <edsko@well-typed.com> * Document (almost) all the features of 'users' Ignore-this: 6596974e93d29360c930e7faae075f1f M ./Distribution/Server/Features/Html.hs -3 +15 M ./Distribution/Server/Features/ServerApiDoc.hs -4 +7 M ./Distribution/Server/Features/Users.hs -8 +21 Wed Nov 21 11:59:19 GMT 2012 Edsko de Vries <edsko@well-typed.com> * More feature/resource descriptions Ignore-this: c2aead08a78cc079b967704ec635bf81 M ./Distribution/Server/Features/Check.hs -19 +39 M ./Distribution/Server/Features/Core.hs -21 +55 M ./Distribution/Server/Features/Html.hs -11 +28 M ./Distribution/Server/Features/ServerApiDoc.hs -6 +11 M ./Distribution/Server/Framework/Feature.hs -1 +1