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
Update
2018-05-04
malc
Update
commit
|
commitdiff
|
tree
2018-05-04
malc
Comple
t
e completion
removal
commit
|
commitdiff
|
tree
2018-05-04
mal
c
Com
p
letions
became s
t
ale
and nobody shep
h
erds t
h
em
commit
|
commitdiff
|
tree
2018-05-04
malc
U
pdate
commit
|
commitdiff
|
tree
2018-05-03
m
a
lc
Drop any
p
retense
that Windows i
s
supp
o
r
t
e
d
commit
|
commitdiff
|
tree
2018-05-03
malc
Sync with upstream
commit
|
commitdiff
|
tree
2018-05-03
ma
l
c
m
k
dir
commit
|
commitdiff
|
tree
2018-05-03
malc
Drop Windows
referen
c
e
commit
|
commitdiff
|
tree
2018-05-03
malc
R
emove ghyll s
c
roll
commit
|
commitdiff
|
tree
2018-05-03
mal
c
Re
m
ove -embe
d
d
commit
|
commitdiff
|
tree
2018-05-02
malc
Move
f
loat e
q
u
a
l d
i
agnostic paragmas around
commit
|
commitdiff
|
tree
2018-05-02
malc
Dash
commit
|
commitdiff
|
tree
2018-05-02
mal
c
Ingrish
commit
|
commitdiff
|
tree
2018-05-02
malc
Te
l
l pandoc t
o
use epub2
commit
|
commitdiff
|
tree
2018-05-01
malc
D
o
n
'
t
lie
commit
|
commitdiff
|
tree
2018-05-01
mal
c
Hm
m
m
.
.
commit
|
commitdiff
|
tree
2018-05-01
ma
l
c
Update
commit
|
commitdiff
|
tree
2018-05-01
mal
c
Sh
u
ffle
commit
|
commitdiff
|
tree
2018-04-30
malc
Dog
commit
|
commitdiff
|
tree
2018-04-30
malc
Remove redundant m
k
dir
commit
|
commitdiff
|
tree
2018-04-30
m
alc
Make pp
x
thin
g
s "intuitive"
commit
|
commitdiff
|
tree
2018-04-30
ma
l
c
PPX experi
m
ent
commit
|
commitdiff
|
tree
2018-04-30
malc
Proper path
t
o past
commit
|
commitdiff
|
tree
2018-04-29
m
a
lc
Expa
n
d
commit
|
commitdiff
|
tree
2018-04-29
malc
U
p
dat
e
commit
|
commitdiff
|
tree
2018-04-29
malc
Update
commit
|
commitdiff
|
tree
2018-04-29
malc
De
e
p o
u
t-o
f
-tree
commit
|
commitdiff
|
tree
2018-04-28
m
a
l
c
C
l
arify
commit
|
commitdiff
|
tree
2018-04-28
malc
No more
commit
|
commitdiff
|
tree
2018-04-28
malc
Update
commit
|
commitdiff
|
tree
2018-04-28
m
a
l
c
Updat
e
commit
|
commitdiff
|
tree
2018-04-28
mal
c
A
p
ter
version tra
c
king
commit
|
commitdiff
|
tree
2018-04-28
malc
Dances
arou
n
d
lack of local ocaml
commit
|
commitdiff
|
tree
2018-04-28
m
a
lc
N
a
m
in
g
commit
|
commitdiff
|
tree
2018-04-28
malc
Track ocaml version
commit
|
commitdiff
|
tree
2018-04-28
malc
L
e
galese
commit
|
commitdiff
|
tree
2018-04-28
m
a
lc
Weird
commit
|
commitdiff
|
tree
2018-04-28
ma
l
c
Syn
c
wi
t
h upstream
commit
|
commitdiff
|
tree
2018-04-27
ma
l
c
Shuffle
commit
|
commitdiff
|
tree
2018-04-27
malc
Inli
n
e now
commit
|
commitdiff
|
tree
2018-04-27
mal
c
Use ocaml as a subst
i
tute for
b
c
commit
|
commitdiff
|
tree
2018-04-27
malc
Thi
s
i
s
b
a
s
h
commit
|
commitdiff
|
tree
2018-04-27
m
al
c
Cach
i
ng
commit
|
commitdiff
|
tree
2018-04-27
ma
l
c
Prope
r
in
d
en
t
at
i
on
commit
|
commitdiff
|
tree
2018-04-27
ma
l
c
U
pd
a
te
commit
|
commitdiff
|
tree
2018-04-27
malc
Shuffle
commit
|
commitdiff
|
tree
2018-04-27
m
a
lc
Avoid mentioning revision
t
wice
commit
|
commitdiff
|
tree
2018-04-26
m
alc
Crude but works
commit
|
commitdiff
|
tree
2018-04-26
malc
Only outpu
t
relevant
parts of dige
s
t
commit
|
commitdiff
|
tree
2018-04-26
malc
Resto
r
e true out-of-treen
e
ss
commit
|
commitdiff
|
tree
2018-04-25
malc
Add U+2192
commit
|
commitdiff
|
tree
2018-04-25
malc
Plain
C
RC shou
l
d b
e
e
nough
commit
|
commitdiff
|
tree
2018-04-25
mal
c
N
o id
e
a
commit
|
commitdiff
|
tree
2018-04-25
mal
c
Suppress di
g
es
t
ing
e
r
ror outp
u
t
commit
|
commitdiff
|
tree
2018-04-25
ma
l
c
Sprinkl
e
with some locals
commit
|
commitdiff
|
tree
2018-04-24
malc
Cosm
e
tics
commit
|
commitdiff
|
tree
2018-04-23
malc
Off by
one
commit
|
commitdiff
|
tree
2018-04-23
malc
Cosm
e
ti
c
s
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
Whoops
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Don
'
t
hammer p
o
or constrained A
W
S
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Whoops
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
No idea
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Upd
a
te consistently
commit
|
commitdiff
|
tree
2018-04-23
malc
Up
d
a
te
commit
|
commitdiff
|
tree
2018-04-23
malc
Up
d
a
t
e
commit
|
commitdiff
|
tree
2018-04-23
malc
Use github mirror
commit
|
commitdiff
|
tree
2018-04-23
malc
Paper over
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Change digest
commit
|
commitdiff
|
tree
2018-04-23
malc
Settl
e
on CRC
for n
o
w
commit
|
commitdiff
|
tree
2018-04-23
malc
T
o
py
commit
|
commitdiff
|
tree
2018-04-23
malc
Naming
commit
|
commitdiff
|
tree
2018-04-23
malc
S
a
fety ren
a
me
commit
|
commitdiff
|
tree
2018-04-23
malc
Bette
r
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Save
those lines
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Napoleon failed
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
Don't lie
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Fix out-o
f
-tree
n
e
s
s
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
S
hr
u
g
commit
|
commitdiff
|
tree
2018-04-23
mal
c
Anot
h
er
s
mall step
t
owards ge
n
ericity
commit
|
commitdiff
|
tree
2018-04-23
malc
Deal with clang warnings
commit
|
commitdiff
|
tree
2018-04-23
malc
Up
d
at
e
commit
|
commitdiff
|
tree
2018-04-23
m
alc
sh->ba
s
h
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
mal
c
Remove zsh w
o
rkarounds
commit
|
commitdiff
|
tree
2018-04-23
malc
Bashif
y
build
.
sh
commit
|
commitdiff
|
tree
2018-04-23
malc
Don't lie
commit
|
commitdiff
|
tree
2018-04-23
malc
K
i
ll str
a
y empt
y
line
commit
|
commitdiff
|
tree
2018-04-23
m
al
c
Includ
e
diag
.
h whe
n
com
p
ilin
g
with clang
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
U
p
d
at
e
commit
|
commitdiff
|
tree
2018-04-23
malc
Fi
x
url
commit
|
commitdiff
|
tree
2018-04-23
malc
M
o
ve wsel to misc
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Mo
v
e x11 specific
s
commit
|
commitdiff
|
tree
2018-04-23
malc
M
o
ve
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Avoid exc
e
ss
i
ve diges
t
ing
commit
|
commitdiff
|
tree
2018-04-22
ma
l
c
Cosmetics
commit
|
commitdiff
|
tree
next