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
mal
c
Inconsol
a
tazi4-Re
g
ular
commit
|
commitdiff
|
tree
2018-05-08
m
alc
Nigeria
commit
|
commitdiff
|
tree
2018-05-08
m
a
lc
Update
commit
|
commitdiff
|
tree
2018-05-08
malc
Move UniSyms to utils
commit
|
commitdiff
|
tree
2018-05-07
malc
Selection
commit
|
commitdiff
|
tree
2018-05-07
malc
s
t
at vs sum
commit
|
commitdiff
|
tree
2018-05-06
N
i
colás O
j
eda Bä
r
Set LC_CTYPE to
UT
F
-8 when l
a
unche
d
u
sing Launc
h
S
e
rvic
e
s
.
.
.
commit
|
commitdiff
|
tree
2018-05-06
ma
l
c
Just s
a
y "N
o
" to broken compilers
commit
|
commitdiff
|
tree
2018-05-06
m
a
lc
イングリッ
シ
ュ
commit
|
commitdiff
|
tree
2018-05-06
malc
Upda
t
e
commit
|
commitdiff
|
tree
2018-05-06
malc
Cla
r
ify
commit
|
commitdiff
|
tree
2018-05-05
malc
More robus
t
font-
f
amily fall
b
a
c
k
commit
|
commitdiff
|
tree
2018-05-04
malc
Update
commit
|
commitdiff
|
tree
2018-05-04
mal
c
Move
p
px
t
o misc
commit
|
commitdiff
|
tree
2018-05-04
m
alc
Cosmetics
commit
|
commitdiff
|
tree
2018-05-04
malc
Update
commit
|
commitdiff
|
tree
2018-05-04
mal
c
Pla
c
eholder
commit
|
commitdiff
|
tree
2018-05-04
ma
l
c
Update
commit
|
commitdiff
|
tree
2018-05-04
m
a
lc
Comp
l
ete completion remo
v
al
commit
|
commitdiff
|
tree
2018-05-04
m
alc
C
omple
t
ion
s
became st
a
le and
n
obody shepherds t
h
e
m
commit
|
commitdiff
|
tree
2018-05-04
malc
Updat
e
commit
|
commitdiff
|
tree
2018-05-03
ma
l
c
Drop any pretense that Windows
i
s supported
commit
|
commitdiff
|
tree
2018-05-03
m
alc
Sync with u
p
stream
commit
|
commitdiff
|
tree
2018-05-03
ma
l
c
mkdi
r
commit
|
commitdiff
|
tree
2018-05-03
malc
D
rop Windows refere
n
ce
commit
|
commitdiff
|
tree
2018-05-03
malc
Remove ghyll scroll
commit
|
commitdiff
|
tree
2018-05-03
malc
Remove -emb
e
dd
commit
|
commitdiff
|
tree
2018-05-02
ma
l
c
Move
f
lo
a
t equa
l
diagnostic p
a
ragmas ar
o
und
commit
|
commitdiff
|
tree
2018-05-02
m
a
lc
Dash
commit
|
commitdiff
|
tree
2018-05-02
malc
Ingrish
commit
|
commitdiff
|
tree
2018-05-02
malc
Te
l
l
pandoc to use
e
pub2
commit
|
commitdiff
|
tree
2018-05-01
m
a
lc
D
o
n't lie
commit
|
commitdiff
|
tree
2018-05-01
malc
Hmmm
.
.
commit
|
commitdiff
|
tree
2018-05-01
malc
Updat
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
R
e
mov
e
redundant m
k
d
i
r
commit
|
commitdiff
|
tree
2018-04-30
malc
M
a
k
e
p
px things
"
in
t
uitive"
commit
|
commitdiff
|
tree
2018-04-30
ma
l
c
PPX e
x
periment
commit
|
commitdiff
|
tree
2018-04-30
malc
P
r
ope
r
path to past
commit
|
commitdiff
|
tree
2018-04-29
mal
c
Expand
commit
|
commitdiff
|
tree
2018-04-29
malc
U
p
date
commit
|
commitdiff
|
tree
2018-04-29
malc
Update
commit
|
commitdiff
|
tree
2018-04-29
malc
Deep out-o
f
-tree
commit
|
commitdiff
|
tree
2018-04-28
mal
c
C
larify
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
Upd
a
te
commit
|
commitdiff
|
tree
2018-04-28
m
a
lc
Apter ve
r
sio
n
tracking
commit
|
commitdiff
|
tree
2018-04-28
mal
c
Dances ar
o
u
n
d lack
of
l
oc
a
l oca
m
l
commit
|
commitdiff
|
tree
2018-04-28
ma
l
c
Naming
commit
|
commitdiff
|
tree
2018-04-28
m
alc
Track ocaml
ve
r
s
i
on
commit
|
commitdiff
|
tree
2018-04-28
m
alc
Lega
l
ese
commit
|
commitdiff
|
tree
2018-04-28
malc
Weird
commit
|
commitdiff
|
tree
2018-04-28
mal
c
Sync wi
t
h ups
t
ream
commit
|
commitdiff
|
tree
2018-04-27
malc
Sh
u
f
fle
commit
|
commitdiff
|
tree
2018-04-27
malc
Inline now
commit
|
commitdiff
|
tree
2018-04-27
malc
Use
o
caml
a
s
a
s
u
b
st
i
t
u
te for bc
commit
|
commitdiff
|
tree
2018-04-27
malc
This is
b
a
s
h
commit
|
commitdiff
|
tree
2018-04-27
ma
l
c
Ca
c
hin
g
commit
|
commitdiff
|
tree
2018-04-27
malc
Prope
r
inde
n
tation
commit
|
commitdiff
|
tree
2018-04-27
malc
Upd
a
te
commit
|
commitdiff
|
tree
2018-04-27
malc
Shuffl
e
commit
|
commitdiff
|
tree
2018-04-27
ma
l
c
Avoid
men
t
ioning revision
twice
commit
|
commitdiff
|
tree
2018-04-26
malc
Crude but works
commit
|
commitdiff
|
tree
2018-04-26
malc
Only output relevant
p
arts of digest
commit
|
commitdiff
|
tree
2018-04-26
malc
Rest
o
re tru
e
out-of-treeness
commit
|
commitdiff
|
tree
2018-04-25
m
a
lc
A
d
d U+2
1
92
commit
|
commitdiff
|
tree
2018-04-25
malc
Plain CRC
s
hould be e
n
ough
commit
|
commitdiff
|
tree
2018-04-25
malc
No i
d
ea
commit
|
commitdiff
|
tree
2018-04-25
malc
Suppress dig
e
s
ting error ou
t
pu
t
commit
|
commitdiff
|
tree
2018-04-25
malc
S
p
rinkle with some loc
a
l
s
commit
|
commitdiff
|
tree
2018-04-24
malc
C
osmetics
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Of
f
by o
n
e
commit
|
commitdiff
|
tree
2018-04-23
malc
C
o
smetics
commit
|
commitdiff
|
tree
2018-04-23
m
a
l
c
Up
d
ate
commit
|
commitdiff
|
tree
2018-04-23
malc
Whoops
commit
|
commitdiff
|
tree
2018-04-23
malc
Do
n
'
t
hammer poor constrained
AW
S
commit
|
commitdiff
|
tree
2018-04-23
malc
Whoops
commit
|
commitdiff
|
tree
2018-04-23
malc
No idea
commit
|
commitdiff
|
tree
2018-04-23
malc
Up
d
ate consi
s
t
e
n
tly
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
U
se git
h
ub mirror
commit
|
commitdiff
|
tree
2018-04-23
malc
Paper ove
r
commit
|
commitdiff
|
tree
2018-04-23
malc
Change dige
s
t
commit
|
commitdiff
|
tree
2018-04-23
malc
Settle
o
n CRC
f
or now
commit
|
commitdiff
|
tree
2018-04-23
malc
Topy
commit
|
commitdiff
|
tree
2018-04-23
malc
Nam
i
ng
commit
|
commitdiff
|
tree
2018-04-23
malc
Sa
f
ety rename
commit
|
commitdiff
|
tree
2018-04-23
malc
Better
commit
|
commitdiff
|
tree
2018-04-23
malc
Save those
lin
e
s
commit
|
commitdiff
|
tree
2018-04-23
malc
Napoleon failed
commit
|
commitdiff
|
tree
2018-04-23
m
alc
U
p
d
a
te
commit
|
commitdiff
|
tree
2018-04-23
malc
U
p
d
a
te
commit
|
commitdiff
|
tree
2018-04-23
malc
Do
n
't lie
commit
|
commitdiff
|
tree
2018-04-23
malc
Fix out
-
of-t
r
eeness
commit
|
commitdiff
|
tree
2018-04-23
m
a
lc
Shrug
commit
|
commitdiff
|
tree
2018-04-23
malc
Anothe
r
small ste
p
towards g
e
n
e
r
i
c
ity
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Dea
l
w
ith clang
war
n
ings
commit
|
commitdiff
|
tree
next