git.iko.soy/Idris-dev
on master help sign in
Add test running to CHANGELOG
commit6ea720235f2126d50780aa39bb1ce4a73a0bac06 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateTue 3 Jun 2014, 19:13 (12 years ago) parente2a34a8
1 file changed+6
compare with master
unifiedsplit
CHANGELOG+6
CHANGELOG+6
@@ -1,3 +1,9 @@
1+New in 0.9.14:
2+--------------
3+* Support for running tests for a package with the tests section of .ipkg files and the
4+ --testpkg command-line option
5+
6+
17New in 0.9.13:
28--------------
39* IDE support for retrieving structured information about metavariables