repo.or.cz
/
llpp.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Track ocaml version
2018-04-28
mal
c
Track
o
caml versio
n
commit
|
commitdiff
|
tree
2018-04-28
ma
l
c
Legalese
commit
|
commitdiff
|
tree
2018-04-28
malc
Weird
commit
|
commitdiff
|
tree
2018-04-28
malc
Sync with upstream
commit
|
commitdiff
|
tree
2018-04-27
m
a
l
c
S
h
uffle
commit
|
commitdiff
|
tree
2018-04-27
ma
l
c
Inline now
commit
|
commitdiff
|
tree
2018-04-27
m
alc
U
s
e ocaml as a su
b
s
titut
e
f
o
r
bc
commit
|
commitdiff
|
tree
2018-04-27
mal
c
Th
i
s is bash
commit
|
commitdiff
|
tree
2018-04-27
ma
l
c
Caching
commit
|
commitdiff
|
tree
2018-04-27
malc
Prop
e
r indentation
commit
|
commitdiff
|
tree
2018-04-27
ma
l
c
Upd
a
te
commit
|
commitdiff
|
tree
2018-04-27
mal
c
Shuf
f
le
commit
|
commitdiff
|
tree
2018-04-27
malc
Avoid mentio
n
ing r
e
vision
twice
commit
|
commitdiff
|
tree
2018-04-26
m
alc
Crude bu
t
works
commit
|
commitdiff
|
tree
2018-04-26
malc
Only output relevant pa
r
ts of digest
commit
|
commitdiff
|
tree
2018-04-26
malc
Restore true out-of-t
r
ee
n
e
s
s
commit
|
commitdiff
|
tree
2018-04-25
malc
Add U+2192
commit
|
commitdiff
|
tree
2018-04-25
ma
l
c
Pl
a
in
CRC should
be enough
commit
|
commitdiff
|
tree
2018-04-25
malc
No idea
commit
|
commitdiff
|
tree
2018-04-25
ma
l
c
Suppress digesti
n
g error output
commit
|
commitdiff
|
tree
2018-04-25
ma
l
c
S
p
rink
l
e
w
ith so
m
e locals
commit
|
commitdiff
|
tree
2018-04-24
m
a
lc
Cosmetics
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Off by one
commit
|
commitdiff
|
tree
2018-04-23
malc
Cosmetics
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
W
h
oo
p
s
commit
|
commitdiff
|
tree
2018-04-23
malc
Do
n
'
t
ham
m
er poor
c
on
s
tr
a
ined AWS
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Whoops
commit
|
commitdiff
|
tree
2018-04-23
malc
No idea
commit
|
commitdiff
|
tree
2018-04-23
mal
c
Upd
a
t
e
c
ons
i
ste
n
t
l
y
commit
|
commitdiff
|
tree
2018-04-23
malc
U
pdate
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
U
s
e github mirr
o
r
commit
|
commitdiff
|
tree
2018-04-23
malc
Pa
p
er over
commit
|
commitdiff
|
tree
2018-04-23
malc
Change dig
e
st
commit
|
commitdiff
|
tree
2018-04-23
malc
Settle on C
R
C for now
commit
|
commitdiff
|
tree
2018-04-23
malc
Topy
commit
|
commitdiff
|
tree
2018-04-23
malc
N
a
ming
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Safet
y
rename
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Better
commit
|
commitdiff
|
tree
2018-04-23
malc
Save t
h
ose lines
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Napoleon faile
d
commit
|
commitdiff
|
tree
2018-04-23
malc
U
p
date
commit
|
commitdiff
|
tree
2018-04-23
malc
Upd
a
t
e
commit
|
commitdiff
|
tree
2018-04-23
malc
Don
'
t lie
commit
|
commitdiff
|
tree
2018-04-23
malc
Fix out-o
f
-t
r
eeness
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Shru
g
commit
|
commitdiff
|
tree
2018-04-23
mal
c
Ano
t
her small step to
w
ards g
e
n
er
i
city
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Deal
wi
t
h
clang
w
arnings
commit
|
commitdiff
|
tree
2018-04-23
mal
c
U
pda
t
e
commit
|
commitdiff
|
tree
2018-04-23
malc
s
h->bash
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Remove zsh workaro
u
nds
commit
|
commitdiff
|
tree
2018-04-23
mal
c
Bashify b
u
ild
.
sh
commit
|
commitdiff
|
tree
2018-04-23
malc
Don't lie
commit
|
commitdiff
|
tree
2018-04-23
mal
c
K
ill stray
empty line
commit
|
commitdiff
|
tree
2018-04-23
malc
Include diag
.
h
when compi
l
ing wit
h
cla
n
g
commit
|
commitdiff
|
tree
2018-04-23
malc
Upd
a
te
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
Upd
a
t
e
commit
|
commitdiff
|
tree
2018-04-23
malc
Fix url
commit
|
commitdiff
|
tree
2018-04-23
malc
Move wsel to m
i
sc
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Move x11 spec
i
fics
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Move
commit
|
commitdiff
|
tree
2018-04-23
malc
Avoid excessive digesting
commit
|
commitdiff
|
tree
2018-04-22
malc
Cos
m
e
t
ics
commit
|
commitdiff
|
tree
2018-04-22
ma
l
c
W
hoops
commit
|
commitdiff
|
tree
2018-04-22
malc
Explo
i
t awe
s
ome
n
e
s
s of bu
i
ld
.
sh more
commit
|
commitdiff
|
tree
2018-04-22
Malte Tammena
Fix opening certain
files with absolute path
commit
|
commitdiff
|
tree
2018-04-22
Malte Tammena
Fix inotify for
c
e
r
tain filenames
commit
|
commitdiff
|
tree
2018-04-22
malc
Die
commit
|
commitdiff
|
tree
2018-04-22
malc
Exploit
the po
w
er of build
.
sh
commit
|
commitdiff
|
tree
2018-04-21
malc
Co
s
metics
commit
|
commitdiff
|
tree
2018-04-21
ma
l
c
N
omenclature
commit
|
commitdiff
|
tree
2018-04-21
m
a
l
c
Bail out if
ocaml com
p
i
l
atio
n
f
a
ils
commit
|
commitdiff
|
tree
2018-04-21
malc
Tra
n
sitive rebui
l
ding
commit
|
commitdiff
|
tree
2018-04-21
m
a
l
c
D
on't
o
verd
o
i
t
commit
|
commitdiff
|
tree
2018-04-20
mal
c
Address
#76
commit
|
commitdiff
|
tree
2018-04-20
malc
Sync with upst
r
eam
commit
|
commitdiff
|
tree
2018-04-20
malc
A
dd diacri
t
i
c
al problem
commit
|
commitdiff
|
tree
2018-04-20
malc
Better
commit
|
commitdiff
|
tree
2018-04-20
malc
Initia
l
commit
|
commitdiff
|
tree
2018-04-20
m
a
l
c
Sync with upstrea
m
commit
|
commitdiff
|
tree
2018-04-20
malc
v
e
c
h
o
wor
k
around for bash
commit
|
commitdiff
|
tree
2018-04-20
malc
Properl
y
ha
n
dle lack of git tree w
h
e
n
computing ve
r
commit
|
commitdiff
|
tree
2018-04-20
malc
Cosmetics
commit
|
commitdiff
|
tree
2018-04-20
malc
Si
m
plify
commit
|
commitdiff
|
tree
2018-04-19
malc
Up
d
ate
commit
|
commitdiff
|
tree
2018-04-19
malc
Don't
be annoying (should onl
y
con
c
ern use
r
s with a
.
.
.
commit
|
commitdiff
|
tree
2018-04-19
malc
Ex
p
and
commit
|
commitdiff
|
tree
2018-04-18
mal
c
C
h
ang
e
to the directory that contains boots
t
rap
.
s
h
commit
|
commitdiff
|
tree
2018-04-17
malc
Capitaliz
a
tion
commit
|
commitdiff
|
tree
2018-04-17
malc
Co
n
siste
n
cy
commit
|
commitdiff
|
tree
2018-04-17
malc
Update
commit
|
commitdiff
|
tree
2018-04-17
malc
U
p
date
commit
|
commitdiff
|
tree
2018-04-17
m
alc
_GNU_
S
OURCE
i
s now defined
in build
.
s
h
commit
|
commitdiff
|
tree
2018-04-17
ma
l
c
No readli
n
k on MacO
S
it seems
commit
|
commitdiff
|
tree
2018-04-17
malc
Initia
l
commit
|
commitdiff
|
tree
2018-04-17
mal
c
Boots
t
raping
commit
|
commitdiff
|
tree
2018-04-17
German
Z
h
i
votnikov
Small fi
x
es
t
o boot
s
tr
a
p
.
s
h
build
s
cript while
t
esting
.
.
.
commit
|
commitdiff
|
tree
next