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
Handle errors and notify the user while trying to save an attachment
2021-05-31
m
alc
Ha
n
dle error
s
and n
o
tify the user while tryin
g
to save
.
.
.
commit
|
commitdiff
|
tree
2021-05-31
m
a
l
c
Save attached
files
w
hen
commit
|
commitdiff
|
tree
2021-05-31
malc
Cos
m
etics
commit
|
commitdiff
|
tree
2021-05-31
ma
l
c
Better tex
t
/f
i
le-attachment anno
t
ation
d
ifferentiation
commit
|
commitdiff
|
tree
2021-05-30
malc
R
e
move stray spaces
commit
|
commitdiff
|
tree
2021-05-30
malc
Use properl
y
typed an
n
ot var
i
able
commit
|
commitdiff
|
tree
2021-05-30
mal
c
Print file attac
h
ment
a
nno
t
ation info
commit
|
commitdiff
|
tree
2021-05-30
malc
Decrease indentation of r
e
flowable layout knob
s
commit
|
commitdiff
|
tree
2021-05-30
m
a
lc
Hack around interm
i
t
t
ent postprocess failures
commit
|
commitdiff
|
tree
2021-05-30
malc
Do not s
e
fgfault on
"emp
t
y" regexec results
commit
|
commitdiff
|
tree
2021-05-30
m
a
l
c
Use Glutils explic
i
tly in main
commit
|
commitdiff
|
tree
2021-05-30
m
a
l
c
F
r
ee memory
b
efore bra
n
c
hing
commit
|
commitdiff
|
tree
2021-05-27
m
a
l
c
Add
another La
.
.
exa
m
p
l
e
commit
|
commitdiff
|
tree
2021-05-27
malc
Move ||: inside the subshe
l
l
commit
|
commitdiff
|
tree
2021-05-27
malc
Gene
r
ate set of similar charac
t
ers dynamically
commit
|
commitdiff
|
tree
2021-05-25
m
alc
Use local exception instead
of
g
l
o
b
ally usable Exit
commit
|
commitdiff
|
tree
2021-05-24
malc
Simplif
y
lay
o
utready
commit
|
commitdiff
|
tree
2021-05-24
malc
Cos
m
etics
commit
|
commitdiff
|
tree
2021-05-24
malc
C
on
t
inue lines
properly
commit
|
commitdiff
|
tree
2021-05-24
m
alc
A
dd
a
nother mime ty
p
e for f
o
nts
commit
|
commitdiff
|
tree
2021-05-24
m
a
lc
Remove
-
layout-height
commit
|
commitdiff
|
tree
2021-05-24
mal
c
Pro
v
id
e
flag
s
for ws
i
.
cmi
commit
|
commitdiff
|
tree
2021-05-24
malc
Bring back wsi
.
ml
i
commit
|
commitdiff
|
tree
2021-05-23
malc
C
h
ange state
f
rom record with mutab
l
e
f
i
elds
t
o modul
e
.
.
.
commit
|
commitdiff
|
tree
2021-05-23
malc
S
l
i
p
ped t
h
rough the
cracks
commit
|
commitdiff
|
tree
2021-05-23
malc
Conti
n
ue fighting im
p
licit c
r
ea
t
i
on of compil
e
d
in
t
erface
.
.
.
commit
|
commitdiff
|
tree
2021-05-23
A
l
exander Pozdny
a
kov
Fi
x
ing broken symlin
k
commit
|
commitdiff
|
tree
2021-05-23
ma
l
c
Do not u
s
e
,
no longer existing, -layout-heigh
t
a
r
gum
e
nt
commit
|
commitdiff
|
tree
2021-05-23
malc
M
ake
s
ure t
h
ere are
n
o
progress indic
a
tor remnants
.
.
.
commit
|
commitdiff
|
tree
2021-05-23
m
a
lc
Take layout def
a
ult
s
from mupdf
commit
|
commitdiff
|
tree
2021-05-23
malc
Change
r
eflowable layout
handling
commit
|
commitdiff
|
tree
2021-05-23
malc
Remove remnants o
f
home row remappin
g
a
t
tem
p
t
commit
|
commitdiff
|
tree
2021-05-22
malc
Cosmetics
commit
|
commitdiff
|
tree
2021-05-22
malc
A
l
low se
t
ting all
f
z_layout_document
a
rgument
s
on the
.
.
.
commit
|
commitdiff
|
tree
2021-05-02
malc
Remove opaque<->string
operators
commit
|
commitdiff
|
tree
2021-05-02
malc
Add
"interesting" sequ
e
nc
e
of letters
commit
|
commitdiff
|
tree
2021-05-02
malc
U
s
e helper functions
to
extr
a
ct p
a
ge nu
m
bers f
r
om uris
commit
|
commitdiff
|
tree
2021-04-28
ma
l
c
An
o
ther ker
n
ing samp
l
e
commit
|
commitdiff
|
tree
2021-04-19
m
alc
Avoid extr
a
l
eading space in ca
s
e of e
m
pty inclu
d
e
.
.
.
commit
|
commitdiff
|
tree
2021-04-19
malc
A
dd interfa
c
e for utils mod
u
le
commit
|
commitdiff
|
tree
2021-04-18
malc
Do not ad
d
$
o
utd/
prefix to ocaml modules w
h
i
l
e
generating
.
.
.
commit
|
commitdiff
|
tree
2021-04-17
malc
Comm
e
nt on
parallelism todo e
n
t
r
y
commit
|
commitdiff
|
tree
2021-04-17
ma
l
c
Fix makef
i
le gener
a
tion
commit
|
commitdiff
|
tree
2021-04-17
malc
Sync with upstream
commit
|
commitdiff
|
tree
2021-04-16
malc
Fix depen
d
en
c
y reg
r
e
s
sion intro
d
uced
in c6fc00b5e88813e0510b
.
.
.
commit
|
commitdiff
|
tree
2021-04-16
m
a
lc
Fi
x
types
commit
|
commitdiff
|
tree
2021-04-16
ma
l
c
Tri
m
autogenerated uiutils
interface by hand
commit
|
commitdiff
|
tree
2021-04-16
m
a
l
c
Consis
t
ency
commit
|
commitdiff
|
tree
2021-04-16
malc
R
e
move tautol
o
gical
i
nter
f
a
c
e
commit
|
commitdiff
|
tree
2021-04-16
malc
Comment on the tricky parts of the script
commit
|
commitdiff
|
tree
2021-04-16
m
alc
Refac
t
or flatten
commit
|
commitdiff
|
tree
2021-04-16
malc
R
em
o
ve unused
l
ocal
commit
|
commitdiff
|
tree
2021-04-16
mal
c
Move early e
x
it to
bocaml
commit
|
commitdiff
|
tree
2021-04-16
m
alc
Build
system
w
o
r
k
commit
|
commitdiff
|
tree
2021-04-15
malc
Ma
k
e
w
ocmi l
o
ca
l
commit
|
commitdiff
|
tree
2021-04-15
malc
Cosmeti
c
s
commit
|
commitdiff
|
tree
2021-04-15
m
alc
Remove, what ap
p
e
a
rs to be,
o
ve
r
cau
t
ious
$ord
a
c
c
e
s
s
commit
|
commitdiff
|
tree
2021-04-15
malc
M
ove timing
out of
b
uild
.
bash
commit
|
commitdiff
|
tree
2021-04-14
malc
Remove stray space
commit
|
commitdiff
|
tree
2021-04-14
malc
Ppx experiment
w
ill li
v
e on
i
n
his
t
ory (but not in
.
.
.
commit
|
commitdiff
|
tree
2021-04-14
mal
c
Change com
p
il
a
tion s
t
rategy
commit
|
commitdiff
|
tree
2021-04-14
m
alc
pp
x
expe
r
i
m
ent
commit
|
commitdiff
|
tree
2021-04-11
mal
c
Remove unused
typ
e
s
commit
|
commitdiff
|
tree
2021-04-10
malc
Cosmetics
commit
|
commitdiff
|
tree
2021-04-10
malc
Remov
e
re
m
nants of
P
BO support
commit
|
commitdiff
|
tree
2021-04-10
m
alc
More consistent (
l
a
c
k of) quot
i
ng
commit
|
commitdiff
|
tree
2021-04-10
malc
Merge bocaml 1
a
nd 2
commit
|
commitdiff
|
tree
2021-04-10
malc
Mov
e
.
cmi ->
.
cmo log
i
c to bocaml
commit
|
commitdiff
|
tree
2021-04-09
malc
Do not inc
l
udie s
a
me directory mult
i
p
l
e time
s
commit
|
commitdiff
|
tree
2021-04-05
m
a
lc
Cosmetics
commit
|
commitdiff
|
tree
2021-04-05
malc
Consiste
n
cy
commit
|
commitdiff
|
tree
2021-04-04
m
a
l
c
Simplify ex
i
t trap
commit
|
commitdiff
|
tree
2021-04-04
malc
R
emove stra
y
semicolon
commit
|
commitdiff
|
tree
2021-04-04
malc
Show last exit code on f
a
ilure
commit
|
commitdiff
|
tree
2021-03-28
malc
Refactor (objec
t
ive
)
c compilation
commit
|
commitdiff
|
tree
2021-03-27
malc
Us
e
bashes regu
l
ar e
x
press
i
on match
i
ng operato
r
i
ns
t
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2021-03-27
malc
Do not mix local a
s
signmen
t
with command
s
u
b
s
t
i
t
u
tion
commit
|
commitdiff
|
tree
2021-03-27
malc
Reset rects
1
when sea
r
ch is inv
o
ked
commit
|
commitdiff
|
tree
2021-03-27
malc
Include paths safety
n
et and "local" workarou
n
d
commit
|
commitdiff
|
tree
2021-03-27
mal
c
Change
getlinkn
commit
|
commitdiff
|
tree
2021-03-27
malc
Cosmetics
commit
|
commitdiff
|
tree
2021-03-27
malc
C
onsistently use
s
shortest
m
atch substitution
s
commit
|
commitdiff
|
tree
2021-03-27
m
alc
seen/ord d
i
chotomy
commit
|
commitdiff
|
tree
2021-03-26
malc
Avoid doing work in a pipe
commit
|
commitdiff
|
tree
2021-03-26
malc
Another "
t
ime of check time of use" insta
n
ce
commit
|
commitdiff
|
tree
2021-03-26
malc
C
h
ange the way
o
rde
r
ed module list is used
commit
|
commitdiff
|
tree
2021-03-26
malc
R
e
place home grow
n
ge
t
optdef with Option
.
value
commit
|
commitdiff
|
tree
2021-03-24
malc
P
a
pe
r
bag
commit
|
commitdiff
|
tree
2021-03-24
malc
R
e
v
ert "Create order
e
d module list withou
t
gr
e
p and
.
.
.
commit
|
commitdiff
|
tree
2021-03-24
malc
Cr
e
ate ordered modul
e
list without
g
rep and an external
.
.
.
commit
|
commitdiff
|
tree
2021-03-24
malc
C
o
nsistent
q
uoting for v
e
cho
arguments
commit
|
commitdiff
|
tree
2021-03-24
malc
Ar
g
uably less obfuscated w
a
y
t
o obt
a
i
n
C compiler
versio
n
commit
|
commitdiff
|
tree
2021-03-24
mal
c
Make things easier to fol
l
ow
commit
|
commitdiff
|
tree
2021-03-24
malc
Sim
p
lify
commit
|
commitdiff
|
tree
2021-03-24
malc
Use if
COND (instead of ! C
O
N
D
|| E
X
PR) where it makes
.
.
.
commit
|
commitdiff
|
tree
2021-03-24
mal
c
Make
.
m
l
i
-
>
.
ml handling
m
o
r
e explicit
commit
|
commitdiff
|
tree
2021-03-24
mal
c
M
ore p
r
ecise include paths
commit
|
commitdiff
|
tree
2021-03-24
mal
c
Rej
i
g generat
i
on of include paths
commit
|
commitdiff
|
tree
2021-03-23
ma
l
c
Up
d
ate
commit
|
commitdiff
|
tree
2021-03-23
malc
Add li
n
k to
k
b
uild's do
c
umentation
commit
|
commitdiff
|
tree
next