Skip to content

Commit

Permalink
Merge agda-maint [ci skip].
Browse files Browse the repository at this point in the history
  • Loading branch information
@asr
asr committed Oct 30, 2015
2 parents a10f892 + 9436144 commit 7bf3853
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion std-lib
Submodule std-lib updated 4 files
+22 −1 CHANGELOG
+1 −1 ffi/agda-lib-ffi.cabal
+1 −1 lib.cabal
+10 −5 notes/stdlib-releases.txt

0 comments on commit 7bf3853

Please sign in to comment.