git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
Increment IBC version
commit
0aca5202c93dace7b44308733d886fde18ab8f4d
author
Timo Petteri Sinnemäki
<timo.sinnemaki@helsinki.fi>
date
Tue 8 Apr 2014, 14:48
(13 years ago)
parent
d5162a0
1 file changed
+1
−1
compare with master
unified
split
src/Idris/IBC.hs
+1
−1
src/Idris/IBC.hs
+1
−1
@@ -29,7 +29,7 @@ import Codec.Compression.Zlib (compress)
29
29
import
Util.Zlib (decompressEither)
30
30
31
31
ibcVersion
::
Word8
32
−
ibcVersion =
65
32
+
ibcVersion =
66
33
33
34
34
data
IBCFile
=
IBCFile
{ ver ::
Word8
,
35
35
sourcefile
::
FilePath,
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list