Merge pull request #1090 from david-christiansen/rasmussen-credit
Give Philip credit in CHANGELOG and CONTRIBUTORS
commit8bf2f8ab128dda84504e9132609b4c5d676c8eca
authorEdwin Brady <edwin.brady@gmail.com>
dateSun 20 Apr 2014, 16:55 (13 years ago)
parent9c3b457e467865
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
67Internal changes
78
CONTRIBUTORS+1
@@ -23,6 +23,7 @@ Reynir Reynisson
2323Seo Sanghyeon
2424Benjamin Saunders
2525startling
26+Philip Rasmussen
2627Chetan T
2728Matus Tejiscak
2829Dirk Ullrich