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
Inconsolatazi4-Regular
2018-05-08
ma
l
c
Inconsolatazi4-Reg
u
lar
commit
|
commitdiff
|
tree
2018-05-08
malc
Nig
e
ria
commit
|
commitdiff
|
tree
2018-05-08
malc
Update
commit
|
commitdiff
|
tree
2018-05-08
malc
Move UniSyms to utils
commit
|
commitdiff
|
tree
2018-05-07
malc
Sel
e
ctio
n
commit
|
commitdiff
|
tree
2018-05-07
m
alc
s
t
a
t
vs sum
commit
|
commitdiff
|
tree
2018-05-06
malc
Just s
a
y "No" t
o
br
o
ke
n
compil
e
rs
commit
|
commitdiff
|
tree
2018-05-06
malc
イン
グ
リッシュ
commit
|
commitdiff
|
tree
2018-05-06
malc
Update
commit
|
commitdiff
|
tree
2018-05-06
malc
C
l
ari
f
y
commit
|
commitdiff
|
tree
2018-05-05
malc
M
o
r
e robust font-family fa
l
lback
commit
|
commitdiff
|
tree
2018-05-04
ma
l
c
U
p
d
a
te
commit
|
commitdiff
|
tree
2018-05-04
malc
Move ppx to misc
commit
|
commitdiff
|
tree
2018-05-04
malc
Cosmeti
c
s
commit
|
commitdiff
|
tree
2018-05-04
m
alc
Up
d
ate
commit
|
commitdiff
|
tree
2018-05-04
ma
l
c
Place
h
older
commit
|
commitdiff
|
tree
2018-05-04
malc
Update
commit
|
commitdiff
|
tree
2018-05-04
malc
Complete completi
o
n removal
commit
|
commitdiff
|
tree
2018-05-04
malc
Completions be
c
ame stale and nobody shepherds
them
commit
|
commitdiff
|
tree
2018-05-04
malc
Upd
a
te
commit
|
commitdiff
|
tree
2018-05-03
mal
c
Drop any prete
n
s
e
that Wind
o
ws is s
u
pport
e
d
commit
|
commitdiff
|
tree
2018-05-03
ma
l
c
Sy
n
c with upstream
commit
|
commitdiff
|
tree
2018-05-03
m
alc
mkdir
commit
|
commitdiff
|
tree
2018-05-03
m
alc
Dro
p
Windows r
e
f
e
rence
commit
|
commitdiff
|
tree
2018-05-03
malc
Remove g
h
yll scroll
commit
|
commitdiff
|
tree
2018-05-03
malc
Remove -e
m
bedd
commit
|
commitdiff
|
tree
2018-05-02
malc
Mov
e
float equal diagnosti
c
paragmas around
commit
|
commitdiff
|
tree
2018-05-02
malc
Dash
commit
|
commitdiff
|
tree
2018-05-02
malc
Ingrish
commit
|
commitdiff
|
tree
2018-05-02
malc
Tell
pand
o
c to use
epub2
commit
|
commitdiff
|
tree
2018-05-01
malc
Don't lie
commit
|
commitdiff
|
tree
2018-05-01
malc
Hmmm
.
.
commit
|
commitdiff
|
tree
2018-05-01
malc
U
p
dat
e
commit
|
commitdiff
|
tree
2018-05-01
malc
Shuffle
commit
|
commitdiff
|
tree
2018-04-30
mal
c
Dog
commit
|
commitdiff
|
tree
2018-04-30
malc
Remove redu
n
d
a
nt mkdir
commit
|
commitdiff
|
tree
2018-04-30
malc
Make ppx things "intuitive"
commit
|
commitdiff
|
tree
2018-04-30
m
a
l
c
P
PX e
x
per
i
m
e
nt
commit
|
commitdiff
|
tree
2018-04-30
malc
Pr
o
per p
a
th t
o
past
commit
|
commitdiff
|
tree
2018-04-29
malc
Expa
n
d
commit
|
commitdiff
|
tree
2018-04-29
m
al
c
Update
commit
|
commitdiff
|
tree
2018-04-29
malc
Up
d
ate
commit
|
commitdiff
|
tree
2018-04-29
malc
D
e
ep o
u
t
-of-
t
ree
commit
|
commitdiff
|
tree
2018-04-28
mal
c
Cl
a
rify
commit
|
commitdiff
|
tree
2018-04-28
malc
No more
commit
|
commitdiff
|
tree
2018-04-28
malc
Up
d
ate
commit
|
commitdiff
|
tree
2018-04-28
malc
Update
commit
|
commitdiff
|
tree
2018-04-28
m
a
lc
Apter ve
r
sion
t
r
a
cking
commit
|
commitdiff
|
tree
2018-04-28
malc
Dances
a
r
o
u
nd lac
k
of local ocaml
commit
|
commitdiff
|
tree
2018-04-28
malc
Naming
commit
|
commitdiff
|
tree
2018-04-28
malc
Tr
a
ck o
c
aml version
commit
|
commitdiff
|
tree
2018-04-28
mal
c
Legalese
commit
|
commitdiff
|
tree
2018-04-28
malc
Weird
commit
|
commitdiff
|
tree
2018-04-28
malc
Sy
n
c with upstream
commit
|
commitdiff
|
tree
2018-04-27
malc
Shuffle
commit
|
commitdiff
|
tree
2018-04-27
malc
Inline now
commit
|
commitdiff
|
tree
2018-04-27
malc
Use o
c
aml a
s
a substitute for bc
commit
|
commitdiff
|
tree
2018-04-27
malc
Th
i
s
is bash
commit
|
commitdiff
|
tree
2018-04-27
ma
l
c
Cachin
g
commit
|
commitdiff
|
tree
2018-04-27
ma
l
c
Proper
i
n
d
e
ntation
commit
|
commitdiff
|
tree
2018-04-27
m
alc
Update
commit
|
commitdiff
|
tree
2018-04-27
malc
Shuffle
commit
|
commitdiff
|
tree
2018-04-27
malc
Avoid menti
o
ni
n
g revision t
w
ice
commit
|
commitdiff
|
tree
2018-04-26
malc
Crude
but wo
r
ks
commit
|
commitdiff
|
tree
2018-04-26
malc
Only outpu
t
relevant parts of digest
commit
|
commitdiff
|
tree
2018-04-26
ma
l
c
Restore true out-of-t
r
ee
n
ess
commit
|
commitdiff
|
tree
2018-04-25
malc
Add U+
2
192
commit
|
commitdiff
|
tree
2018-04-25
ma
l
c
Pl
a
in CR
C
should be enough
commit
|
commitdiff
|
tree
2018-04-25
malc
No idea
commit
|
commitdiff
|
tree
2018-04-25
malc
Suppress diges
t
ing
err
o
r output
commit
|
commitdiff
|
tree
2018-04-25
malc
S
p
rin
k
le with
s
ome loca
l
s
commit
|
commitdiff
|
tree
2018-04-24
malc
C
o
smet
i
cs
commit
|
commitdiff
|
tree
2018-04-23
m
al
c
Off by one
commit
|
commitdiff
|
tree
2018-04-23
malc
Cosmetics
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
W
h
oops
commit
|
commitdiff
|
tree
2018-04-23
malc
D
o
n't hammer poor constrained A
W
S
commit
|
commitdiff
|
tree
2018-04-23
malc
Whoops
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
N
o
idea
commit
|
commitdiff
|
tree
2018-04-23
malc
Update consi
s
t
ently
commit
|
commitdiff
|
tree
2018-04-23
m
alc
Up
d
ate
commit
|
commitdiff
|
tree
2018-04-23
malc
Upda
t
e
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Use
g
ithub mirror
commit
|
commitdiff
|
tree
2018-04-23
malc
Paper over
commit
|
commitdiff
|
tree
2018-04-23
malc
Change diges
t
commit
|
commitdiff
|
tree
2018-04-23
malc
S
ettle on CRC for no
w
commit
|
commitdiff
|
tree
2018-04-23
malc
Topy
commit
|
commitdiff
|
tree
2018-04-23
malc
Naming
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Saf
e
ty r
e
na
m
e
commit
|
commitdiff
|
tree
2018-04-23
malc
B
e
tter
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Save t
h
ose lines
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Napole
o
n
f
ailed
commit
|
commitdiff
|
tree
2018-04-23
malc
Upda
t
e
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
2018-04-23
malc
Don't lie
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
F
i
x out-of-treeness
commit
|
commitdiff
|
tree
2018-04-23
mal
c
S
hrug
commit
|
commitdiff
|
tree
2018-04-23
malc
Another smal
l
step to
w
ards genericity
commit
|
commitdiff
|
tree
2018-04-23
malc
Deal
w
ith clang warnin
g
s
commit
|
commitdiff
|
tree
2018-04-23
malc
Update
commit
|
commitdiff
|
tree
next