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-13
malc
Update
commit
|
commitdiff
|
tree
2018-05-13
m
alc
Safety net
commit
|
commitdiff
|
tree
2018-05-13
malc
Use of
f
i
cial nomencl
a
t
u
r
e
commit
|
commitdiff
|
tree
2018-05-13
ma
l
c
W
hoops
commit
|
commitdiff
|
tree
2018-05-13
malc
Remove
t
h
r
o
t
tling
commit
|
commitdiff
|
tree
2018-05-12
malc
Comment
commit
|
commitdiff
|
tree
2018-05-12
m
a
l
c
Cosm
e
ti
c
s
commit
|
commitdiff
|
tree
2018-05-12
malc
Move selstring to
utils
commit
|
commitdiff
|
tree
2018-05-12
malc
Hmm
.
.
.
commit
|
commitdiff
|
tree
2018-05-11
malc
Upda
t
e
commit
|
commitdiff
|
tree
2018-05-11
malc
R
emove stat&pp
x
experi
m
ents
commit
|
commitdiff
|
tree
2018-05-11
malc
C
o
s
m
etic
s
commit
|
commitdiff
|
tree
2018-05-11
malc
Move Quit to utils
commit
|
commitdiff
|
tree
2018-05-11
malc
Refactor
u
nisyms
commit
|
commitdiff
|
tree
2018-05-11
m
a
lc
Move pipe
f
to utils
commit
|
commitdiff
|
tree
2018-05-11
ma
l
c
Glutils
commit
|
commitdiff
|
tree
2018-05-11
m
alc
Remove
keyhack
commit
|
commitdiff
|
tree
2018-05-11
m
a
lc
Update
commit
|
commitdiff
|
tree
2018-05-10
malc
Drop
l
ibmupdf past hack
commit
|
commitdiff
|
tree
2018-05-10
malc
Accurate(r) mupdf
trac
k
ing
commit
|
commitdiff
|
tree
2018-05-10
malc
Cosmetics
commit
|
commitdiff
|
tree
2018-05-10
ma
l
c
Str
i
cter
war
n
ings a
n
d fal
l
o
ut
commit
|
commitdiff
|
tree
2018-05-10
malc
Update
commit
|
commitdiff
|
tree
2018-05-10
mal
c
Cons
i
stency
commit
|
commitdiff
|
tree
2018-05-08
malc
Inconsolatazi4-Regular
commit
|
commitdiff
|
tree
2018-05-08
ma
l
c
Nigeria
commit
|
commitdiff
|
tree
2018-05-08
ma
l
c
Up
d
ate
commit
|
commitdiff
|
tree
2018-05-08
m
a
lc
Move
U
niSyms to
u
tils
commit
|
commitdiff
|
tree
2018-05-07
m
a
l
c
Selection
commit
|
commitdiff
|
tree
2018-05-07
malc
st
a
t
v
s sum
commit
|
commitdiff
|
tree
2018-05-06
N
i
colás Oj
e
d
a
Bär
Set L
C
_CTYPE to UTF-8 when launche
d
u
s
i
ng LaunchS
e
rvice
s
.
.
.
commit
|
commitdiff
|
tree
2018-05-06
malc
Just say "No" to broken co
m
pi
l
e
r
s
commit
|
commitdiff
|
tree
2018-05-06
malc
イングリ
ッ
シ
ュ
commit
|
commitdiff
|
tree
2018-05-06
ma
l
c
Update
commit
|
commitdiff
|
tree
2018-05-06
m
a
l
c
C
l
arify
commit
|
commitdiff
|
tree
2018-05-05
m
alc
More r
o
bust font-family fa
l
lback
commit
|
commitdiff
|
tree
2018-05-04
malc
U
pdate
commit
|
commitdiff
|
tree
2018-05-04
malc
Mo
v
e
p
px to misc
commit
|
commitdiff
|
tree
2018-05-04
malc
Cos
m
etics
commit
|
commitdiff
|
tree
2018-05-04
mal
c
U
pda
t
e
commit
|
commitdiff
|
tree
2018-05-04
malc
Placehol
d
er
commit
|
commitdiff
|
tree
2018-05-04
m
a
l
c
Upda
t
e
commit
|
commitdiff
|
tree
2018-05-04
malc
Complete completio
n
removal
commit
|
commitdiff
|
tree
2018-05-04
malc
Compl
e
tions became stale an
d
nobody sh
e
pherds them
commit
|
commitdiff
|
tree
2018-05-04
malc
Update
commit
|
commitdiff
|
tree
2018-05-03
malc
Dro
p
any pretense tha
t
W
indows is supported
commit
|
commitdiff
|
tree
2018-05-03
malc
Sync with
ups
t
ream
commit
|
commitdiff
|
tree
2018-05-03
malc
mk
d
ir
commit
|
commitdiff
|
tree
2018-05-03
m
alc
Drop Wi
n
dows reference
commit
|
commitdiff
|
tree
2018-05-03
malc
Remove ghyll s
c
roll
commit
|
commitdiff
|
tree
2018-05-03
malc
Remove -embedd
commit
|
commitdiff
|
tree
2018-05-02
m
a
lc
Move float equal diagnos
t
ic pa
r
agmas arou
n
d
commit
|
commitdiff
|
tree
2018-05-02
m
alc
D
ash
commit
|
commitdiff
|
tree
2018-05-02
malc
Ingri
s
h
commit
|
commitdiff
|
tree
2018-05-02
malc
Tell pandoc to use epub2
commit
|
commitdiff
|
tree
2018-05-01
mal
c
Don't lie
commit
|
commitdiff
|
tree
2018-05-01
malc
Hmmm
.
.
commit
|
commitdiff
|
tree
2018-05-01
malc
Update
commit
|
commitdiff
|
tree
2018-05-01
malc
Shuffle
commit
|
commitdiff
|
tree
2018-04-30
malc
Dog
commit
|
commitdiff
|
tree
2018-04-30
m
a
lc
Re
m
o
ve
red
u
ndant mkdir
commit
|
commitdiff
|
tree
2018-04-30
mal
c
Make ppx
things "
i
n
tuiti
v
e
"
commit
|
commitdiff
|
tree
2018-04-30
m
a
lc
P
P
X exper
i
ment
commit
|
commitdiff
|
tree
2018-04-30
ma
l
c
Proper
p
a
th
t
o p
a
st
commit
|
commitdiff
|
tree
2018-04-29
malc
Expand
commit
|
commitdiff
|
tree
2018-04-29
m
a
lc
U
p
d
ate
commit
|
commitdiff
|
tree
2018-04-29
malc
Update
commit
|
commitdiff
|
tree
2018-04-29
malc
De
e
p out-of-tree
commit
|
commitdiff
|
tree
2018-04-28
malc
Clarify
commit
|
commitdiff
|
tree
2018-04-28
mal
c
No m
o
re
commit
|
commitdiff
|
tree
2018-04-28
malc
Update
commit
|
commitdiff
|
tree
2018-04-28
ma
l
c
Upd
a
te
commit
|
commitdiff
|
tree
2018-04-28
malc
Apt
e
r version tracking
commit
|
commitdiff
|
tree
2018-04-28
malc
Dances aro
u
nd
l
ack
of local ocaml
commit
|
commitdiff
|
tree
2018-04-28
malc
Naming
commit
|
commitdiff
|
tree
2018-04-28
malc
Track ocaml ver
s
ion
commit
|
commitdiff
|
tree
2018-04-28
ma
l
c
Legalese
commit
|
commitdiff
|
tree
2018-04-28
malc
We
i
rd
commit
|
commitdiff
|
tree
2018-04-28
m
a
lc
Sy
n
c with ups
t
ream
commit
|
commitdiff
|
tree
2018-04-27
malc
Shuff
l
e
commit
|
commitdiff
|
tree
2018-04-27
malc
Inline now
commit
|
commitdiff
|
tree
2018-04-27
malc
Us
e
o
c
aml as a s
u
bstitut
e
for
b
c
commit
|
commitdiff
|
tree
2018-04-27
m
alc
This i
s
bash
commit
|
commitdiff
|
tree
2018-04-27
m
a
lc
Caching
commit
|
commitdiff
|
tree
2018-04-27
ma
l
c
P
roper
inden
t
ation
commit
|
commitdiff
|
tree
2018-04-27
malc
Update
commit
|
commitdiff
|
tree
2018-04-27
malc
Shuffle
commit
|
commitdiff
|
tree
2018-04-27
m
alc
Avoid mentioning revision twice
commit
|
commitdiff
|
tree
2018-04-26
malc
Crude b
u
t wo
r
k
s
commit
|
commitdiff
|
tree
2018-04-26
malc
Only outpu
t
re
l
evant p
a
rts of digest
commit
|
commitdiff
|
tree
2018-04-26
ma
l
c
Restore t
r
ue
out-of-treeness
commit
|
commitdiff
|
tree
2018-04-25
malc
Add U+2192
commit
|
commitdiff
|
tree
2018-04-25
malc
Plain CRC should be enough
commit
|
commitdiff
|
tree
2018-04-25
malc
No
idea
commit
|
commitdiff
|
tree
2018-04-25
malc
Su
p
press dige
s
t
in
g
e
r
r
or output
commit
|
commitdiff
|
tree
2018-04-25
malc
S
p
rinkle with
some
l
ocal
s
commit
|
commitdiff
|
tree
2018-04-24
malc
Cosmetics
commit
|
commitdiff
|
tree
2018-04-23
malc
Off by one
commit
|
commitdiff
|
tree
2018-04-23
malc
Cosmetics
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Update
commit
|
commitdiff
|
tree
next