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
More robust font-family fallback
2018-05-05
malc
Mor
e
robust
font-fami
l
y fallback
commit
|
commitdiff
|
tree
2018-05-04
mal
c
U
p
date
commit
|
commitdiff
|
tree
2018-05-04
ma
l
c
Move ppx to mis
c
commit
|
commitdiff
|
tree
2018-05-04
mal
c
Cosmetics
commit
|
commitdiff
|
tree
2018-05-04
ma
l
c
Update
commit
|
commitdiff
|
tree
2018-05-04
malc
Placehold
e
r
commit
|
commitdiff
|
tree
2018-05-04
malc
Update
commit
|
commitdiff
|
tree
2018-05-04
malc
Complete com
p
le
t
i
on
r
emoval
commit
|
commitdiff
|
tree
2018-05-04
malc
Completio
n
s became
s
tale
a
n
d
nobody shepherds
t
h
em
commit
|
commitdiff
|
tree
2018-05-04
malc
U
pdate
commit
|
commitdiff
|
tree
2018-05-03
m
a
lc
Dro
p
a
n
y pretense that Windows is s
u
p
p
ort
e
d
commit
|
commitdiff
|
tree
2018-05-03
m
a
l
c
Sync wi
t
h up
s
trea
m
commit
|
commitdiff
|
tree
2018-05-03
mal
c
mkdir
commit
|
commitdiff
|
tree
2018-05-03
malc
Drop Windows reference
commit
|
commitdiff
|
tree
2018-05-03
malc
Remov
e
g
h
yll scroll
commit
|
commitdiff
|
tree
2018-05-03
mal
c
Remo
v
e -embedd
commit
|
commitdiff
|
tree
2018-05-02
malc
M
ove float
e
qual diagn
o
stic pa
r
agmas
a
r
o
und
commit
|
commitdiff
|
tree
2018-05-02
malc
Das
h
commit
|
commitdiff
|
tree
2018-05-02
malc
Ingrish
commit
|
commitdiff
|
tree
2018-05-02
m
alc
Tell
p
andoc to use epub2
commit
|
commitdiff
|
tree
2018-05-01
malc
Do
n
't
l
ie
commit
|
commitdiff
|
tree
2018-05-01
malc
Hmmm
.
.
commit
|
commitdiff
|
tree
2018-05-01
malc
U
p
date
commit
|
commitdiff
|
tree
2018-05-01
malc
S
h
uffl
e
commit
|
commitdiff
|
tree
2018-04-30
malc
Dog
commit
|
commitdiff
|
tree
2018-04-30
malc
Remove re
d
u
ndant mkdir
commit
|
commitdiff
|
tree
2018-04-30
malc
M
a
k
e ppx things "intuitive"
commit
|
commitdiff
|
tree
2018-04-30
malc
PPX experiment
commit
|
commitdiff
|
tree
2018-04-30
malc
Proper pa
t
h
t
o past
commit
|
commitdiff
|
tree
2018-04-29
malc
Expand
commit
|
commitdiff
|
tree
2018-04-29
m
a
l
c
Update
commit
|
commitdiff
|
tree
2018-04-29
malc
Update
commit
|
commitdiff
|
tree
2018-04-29
malc
D
e
ep
o
ut-of-tre
e
commit
|
commitdiff
|
tree
2018-04-28
malc
Clarify
commit
|
commitdiff
|
tree
2018-04-28
ma
l
c
No
mo
r
e
commit
|
commitdiff
|
tree
2018-04-28
m
a
lc
Update
commit
|
commitdiff
|
tree
2018-04-28
malc
Up
d
ate
commit
|
commitdiff
|
tree
2018-04-28
ma
l
c
A
p
ter versio
n
track
i
ng
commit
|
commitdiff
|
tree
2018-04-28
malc
D
a
nces around l
a
c
k o
f
lo
c
al oca
m
l
commit
|
commitdiff
|
tree
2018-04-28
malc
Naming
commit
|
commitdiff
|
tree
2018-04-28
m
al
c
Trac
k
ocaml ve
r
sio
n
commit
|
commitdiff
|
tree
2018-04-28
m
al
c
L
egale
s
e
commit
|
commitdiff
|
tree
2018-04-28
malc
Weird
commit
|
commitdiff
|
tree
2018-04-28
m
alc
S
ync
w
ith upstream
commit
|
commitdiff
|
tree
2018-04-27
malc
Shuff
l
e
commit
|
commitdiff
|
tree
2018-04-27
malc
Inline no
w
commit
|
commitdiff
|
tree
2018-04-27
ma
l
c
Use
o
caml as a substitute for bc
commit
|
commitdiff
|
tree
2018-04-27
m
alc
This is bash
commit
|
commitdiff
|
tree
2018-04-27
malc
Caching
commit
|
commitdiff
|
tree
2018-04-27
malc
Proper ind
e
ntation
commit
|
commitdiff
|
tree
2018-04-27
m
al
c
Update
commit
|
commitdiff
|
tree
2018-04-27
mal
c
Shuffle
commit
|
commitdiff
|
tree
2018-04-27
malc
A
v
oi
d
ment
i
oning revision twice
commit
|
commitdiff
|
tree
2018-04-26
m
a
lc
Cr
u
de but works
commit
|
commitdiff
|
tree
2018-04-26
malc
Only
o
utput rele
v
ant
p
arts of dig
e
st
commit
|
commitdiff
|
tree
2018-04-26
malc
Restore true out
-
of-t
r
eeness
commit
|
commitdiff
|
tree
2018-04-25
m
alc
Ad
d
U+2192
commit
|
commitdiff
|
tree
2018-04-25
malc
Plai
n
CR
C
should be enou
g
h
commit
|
commitdiff
|
tree
2018-04-25
malc
No idea
commit
|
commitdiff
|
tree
2018-04-25
mal
c
Suppre
s
s digesting error
o
utput
commit
|
commitdiff
|
tree
2018-04-25
malc
Spri
n
kle
w
i
th
s
ome locals
commit
|
commitdiff
|
tree
2018-04-24
malc
C
osmetic
s
commit
|
commitdiff
|
tree
2018-04-23
malc
O
ff by o
n
e
commit
|
commitdiff
|
tree
2018-04-23
malc
Cosmetics
commit
|
commitdiff
|
tree
2018-04-23
malc
Up
d
ate
commit
|
commitdiff
|
tree
2018-04-23
malc
Whoops
commit
|
commitdiff
|
tree
2018-04-23
mal
c
D
on't h
a
mmer poor constrained AWS
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Whoo
p
s
commit
|
commitdiff
|
tree
2018-04-23
malc
No idea
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Update consis
t
ently
commit
|
commitdiff
|
tree
2018-04-23
m
a
l
c
U
p
da
t
e
commit
|
commitdiff
|
tree
2018-04-23
malc
U
pdate
commit
|
commitdiff
|
tree
2018-04-23
mal
c
Use github
m
irr
o
r
commit
|
commitdiff
|
tree
2018-04-23
malc
Paper over
commit
|
commitdiff
|
tree
2018-04-23
m
a
l
c
Change dig
e
st
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Settle on CRC for
n
ow
commit
|
commitdiff
|
tree
2018-04-23
malc
Topy
commit
|
commitdiff
|
tree
2018-04-23
malc
Naming
commit
|
commitdiff
|
tree
2018-04-23
malc
Safet
y
renam
e
commit
|
commitdiff
|
tree
2018-04-23
malc
B
e
t
t
er
commit
|
commitdiff
|
tree
2018-04-23
malc
S
a
ve those l
i
n
es
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Napoleo
n
failed
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
U
pda
t
e
commit
|
commitdiff
|
tree
2018-04-23
malc
Don
'
t l
i
e
commit
|
commitdiff
|
tree
2018-04-23
malc
Fix out-o
f
-treeness
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Shr
u
g
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
A
n
ot
h
er small step
towards gen
e
ricity
commit
|
commitdiff
|
tree
2018-04-23
malc
Deal with cl
a
n
g
warni
n
gs
commit
|
commitdiff
|
tree
2018-04-23
malc
U
pd
a
te
commit
|
commitdiff
|
tree
2018-04-23
malc
sh-
>
bash
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Rem
o
ve zsh worka
r
o
u
n
d
s
commit
|
commitdiff
|
tree
2018-04-23
malc
Bashi
f
y build
.
sh
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Don't l
i
e
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
K
i
ll stray empty lin
e
commit
|
commitdiff
|
tree
2018-04-23
malc
In
c
lude diag
.
h when compiling
w
ith clang
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
U
p
date
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
next