ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-19 21:17:51 +03:00
Code Issues Projects Releases Wiki Activity

Okay, let's use semver... (increment to v1.1.0)

Browse Source 
...instead of arbitrary choices as to version number.
See http://semver.org/
This commit is contained in:
Edwin Brady 2017-08-01 12:30:13 +01:00
parent 5d7388bb3c
commit 70f172c92a
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
CHANGELOG.md
View File

@ -1,4 +1,4 @@
# New in 1.0.1
# New in 1.1.0
## Library Updates

2
idris.cabal
View File

@ -1,5 +1,5 @@
Name: idris
Version: 1.0.1
Version: 1.1.0
License: BSD3
License-file: LICENSE
Author: Edwin Brady