Give Philip credit in CHANGELOG and CONTRIBUTORS
This adds IdrisDoc to these places.
commite4678657b10e1e067f621895d81a732787d5e285
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateSun 20 Apr 2014, 17:54 (13 years ago)
parent35a6062
CHANGELOG+1
@@ -2,6 +2,7 @@ New in 0.9.13:
22--------------
33* IDE support for retrieving structured information about metavariables
44* Experimental Bits support for JavaScript
5+* IdrisDoc: a Haddock- and JavaDoc-like HTML documentation generator
56
67New in 0.9.12:
78--------------
CONTRIBUTORS+1
@@ -21,6 +21,7 @@ Tom Prince
2121Seo Sanghyeon
2222Benjamin Saunders
2323startling
24+Philip Rasmussen
2425Chetan T
2526Dirk Ullrich
2627Leif Warner