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
Optional use of ocamlfind for lablGL discovery
2014-07-30
malc
After days of debu
g
ging
commit
|
commitdiff
|
tree
2014-07-30
malc
Pass
args down t
o
n
i
n
j
a
commit
|
commitdiff
|
tree
2014-07-30
malc
A
pproach to deps in ocaml
m
ust be redone
commit
|
commitdiff
|
tree
2014-07-30
malc
Debugging
commit
|
commitdiff
|
tree
2014-07-30
m
alc
Add
d
ir lo
c
als
commit
|
commitdiff
|
tree
2014-07-29
malc
B
S WIP
commit
|
commitdiff
|
tree
2014-07-29
m
alc
First stab a
t
o
c
a
ml depende
n
c
i
e
s
commit
|
commitdiff
|
tree
2014-07-29
mal
c
B
u
i
ld improveme
n
ts
W
I
P
commit
|
commitdiff
|
tree
2014-07-29
malc
Cosmetic
s
commit
|
commitdiff
|
tree
2014-07-29
malc
Spelling
commit
|
commitdiff
|
tree
2014-07-29
malc
Cosme
t
ics
commit
|
commitdiff
|
tree
2014-07-28
malc
Simplify
commit
|
commitdiff
|
tree
2014-07-28
m
a
lc
Kill st
r
ay
l
i
n
e
commit
|
commitdiff
|
tree
2014-07-28
m
alc
Redundancy removal
commit
|
commitdiff
|
tree
2014-07-28
malc
Cosmetics
commit
|
commitdiff
|
tree
2014-07-28
malc
Yura has a poin
t
commit
|
commitdiff
|
tree
2014-07-28
malc
Unbreak buildall
.
sh
commit
|
commitdiff
|
tree
2014-07-28
malc
Add debugging
commit
|
commitdiff
|
tree
2014-07-28
malc
Switch to ninj
a
commit
|
commitdiff
|
tree
2014-07-28
malc
D
r
op tbs in favour of
n
inja
commit
|
commitdiff
|
tree
2014-07-26
malc
Don't confuse
m
ysel
f
commit
|
commitdiff
|
tree
2014-07-26
malc
Iiiiirkutsk
commit
|
commitdiff
|
tree
2014-07-22
malc
P
rocess
.
z
i
ps as cb
z
commit
|
commitdiff
|
tree
2014-07-21
malc
Add mi
s
sing function key definitions
commit
|
commitdiff
|
tree
2014-07-21
m
alc
Who
o
ps
commit
|
commitdiff
|
tree
2014-07-21
malc
Add fcfon
t
ty
p
e and also perform
s
o
me font cleanup
commit
|
commitdiff
|
tree
2014-07-20
malc
O
pt
s
?
commit
|
commitdiff
|
tree
2014-07-20
malc
No idea y
e
t how to make it 10
0
% foo
l
proof
commit
|
commitdiff
|
tree
2014-07-20
m
alc
Rob
u
s
t
i
f
y
commit
|
commitdiff
|
tree
2014-07-20
malc
Since we dont create c
a
chedir (d
o
nt)
do t
h
e same with
.
.
.
commit
|
commitdiff
|
tree
2014-07-20
malc
Use filt
commit
|
commitdiff
|
tree
2014-07-20
malc
D
iffe
r
ent ap
p
roac
h
to font handling
commit
|
commitdiff
|
tree
2014-07-20
malc
Add
some missed key names
commit
|
commitdiff
|
tree
2014-07-20
mal
c
Handle some fo
n
t types
commit
|
commitdiff
|
tree
2014-07-20
malc
Fi
x
minus value
commit
|
commitdiff
|
tree
2014-07-19
mal
c
E
x
pan
d
pp
commit
|
commitdiff
|
tree
2014-07-19
mal
c
K
eys
commit
|
commitdiff
|
tree
2014-07-19
malc
Remove s
u
perf
l
u
ous parentheses
commit
|
commitdiff
|
tree
2014-07-19
malc
Cosme
t
ics
commit
|
commitdiff
|
tree
2014-07-17
malc
Whoops
commit
|
commitdiff
|
tree
2014-07-17
malc
S
h
rug
commit
|
commitdiff
|
tree
2014-07-17
m
alc
Will it
e
ver end
commit
|
commitdiff
|
tree
2014-07-16
malc
Whoops
commit
|
commitdiff
|
tree
2014-07-16
malc
Do no
t
leak
commit
|
commitdiff
|
tree
2014-07-16
m
alc
Make
thi
n
gs fast
a
gain by piggy bac
k
ing on good folks
.
.
.
commit
|
commitdiff
|
tree
2014-07-16
malc
Save
on
f
p
n formatti
n
g
,
and needle
s
s su
b
s
e
c
ond precis
i
o
n
commit
|
commitdiff
|
tree
2014-07-16
malc
Erm
.
.
.
hard to exp
l
ai
n
i
n
one sentence
commit
|
commitdiff
|
tree
2014-07-16
ma
l
c
z
is for zo
o
m
.
.
.
n
o
t for g
commit
|
commitdiff
|
tree
2014-07-16
malc
Not
q
uit
e
but c
l
oser
commit
|
commitdiff
|
tree
2014-07-15
malc
Alternative is w
o
rse
commit
|
commitdiff
|
tree
2014-07-15
malc
Still not sure
commit
|
commitdiff
|
tree
2014-07-15
malc
Cosm
e
tics
commit
|
commitdiff
|
tree
2014-07-13
malc
S
y
n
c
with up
s
tream
commit
|
commitdiff
|
tree
2014-07-13
malc
Sorting
commit
|
commitdiff
|
tree
2014-07-13
m
a
lc
Create an
d
use
Utils
.
n
i
n
dex
commit
|
commitdiff
|
tree
2014-07-13
m
alc
Who
o
ps
commit
|
commitdiff
|
tree
2014-07-13
m
a
lc
Almost
commit
|
commitdiff
|
tree
2014-07-13
mal
c
Ellipsis
commit
|
commitdiff
|
tree
2014-07-12
malc
Histo
r
y sorting (W
I
P)
commit
|
commitdiff
|
tree
2014-07-11
mal
c
Do
not die on openxref errors, report and co
n
tinue
.
.
.
commit
|
commitdiff
|
tree
2014-07-10
malc
E
n
t
er h
i
s
tmode when no file is spec
i
fied
commit
|
commitdiff
|
tree
2014-07-10
malc
Try curl if wget
i
s not a
v
ailable
commit
|
commitdiff
|
tree
2014-07-10
malc
Nic
e
r
history
commit
|
commitdiff
|
tree
2014-07-10
ma
l
c
Add his
t
ory
t
o the list
o
f mo
d
es
commit
|
commitdiff
|
tree
2014-07-10
m
alc
Save date of l
a
st vi
s
it
(and
sort history based on
.
.
.
commit
|
commitdiff
|
tree
2014-07-09
m
a
lc
L
e
f
ty again
commit
|
commitdiff
|
tree
2014-07-09
ma
l
c
Left accounting again
commit
|
commitdiff
|
tree
2014-07-09
malc
Kill redunda
n
t
method
commit
|
commitdiff
|
tree
2014-07-09
m
a
l
c
Amend
commit
|
commitdiff
|
tree
2014-07-08
malc
Fix some mo
r
e lefties
commit
|
commitdiff
|
tree
2014-07-08
malc
Handle scroll b
a
r
on
th
e
left
properly
commit
|
commitdiff
|
tree
2014-07-08
malc
Fix mb vs ut
f
8 m
i
smatch
commit
|
commitdiff
|
tree
2014-07-08
malc
E
commit
|
commitdiff
|
tree
2014-07-08
malc
Simpli
f
y (and fix f
o
r llppac (i
.
e
.
origin)
case)
commit
|
commitdiff
|
tree
2014-07-08
m
a
lc
C
o
sme
t
i
c
s
commit
|
commitdiff
|
tree
2014-07-07
malc
Sav
e
c
onfig o
n
hi
s
t
o
ry goto
commit
|
commitdiff
|
tree
2014-07-07
m
a
lc
R
e
f
ine h
i
st
o
ry mode
commit
|
commitdiff
|
tree
2014-07-07
malc
Ad
d
abs
p
at
h
t
o
utils
.
ml
commit
|
commitdiff
|
tree
2014-07-07
malc
First rough take o
n
his
t
ory
m
o
de
commit
|
commitdiff
|
tree
2014-07-04
malc
A
c
count for lefty scr
o
ll bar in help
s
creen
commit
|
commitdiff
|
tree
2014-07-04
malc
C
o
ndense and dim
commit
|
commitdiff
|
tree
2014-07-04
malc
C
h
a
n
g
e selection color
commit
|
commitdiff
|
tree
2014-07-04
malc
Avoid poss
i
ble confusion
commit
|
commitdiff
|
tree
2014-07-03
malc
Shu
f
fle code around
commit
|
commitdiff
|
tree
2014-07-03
mal
c
Compres
s
commit
|
commitdiff
|
tree
2014-07-03
malc
Minor refacto
r
ing
commit
|
commitdiff
|
tree
2014-07-03
malc
S
u
pport lefty s
c
ro
l
l-bar
commit
|
commitdiff
|
tree
2014-07-02
ma
l
c
C
h
ange UI font handling
commit
|
commitdiff
|
tree
2014-07-02
malc
Expla
i
n how
t
o search
for help
t
ext
commit
|
commitdiff
|
tree
2014-07-01
m
alc
Hack
s
don't wor
k
commit
|
commitdiff
|
tree
2014-07-01
malc
Remove
s
t
ra
y
empty lin
e
commit
|
commitdiff
|
tree
2014-07-01
malc
Uhm
commit
|
commitdiff
|
tree
2014-07-01
malc
N
icer KEYS (M
i
chael A
s
nes)
commit
|
commitdiff
|
tree
2014-06-30
malc
Clang
support
commit
|
commitdiff
|
tree
2014-06-25
malc
Add m
i
s
sing spac
e
commit
|
commitdiff
|
tree
2014-06-24
malc
Update
commit
|
commitdiff
|
tree
2014-06-24
ma
l
c
Remove default ghyll scr
o
ll
commit
|
commitdiff
|
tree
2014-06-21
malc
Uh
.
.
.
e
v
en more massage
commit
|
commitdiff
|
tree
2014-06-16
malc
Furt
h
er massage
commit
|
commitdiff
|
tree
2014-06-15
malc
Sy
n
c with upstream
commit
|
commitdiff
|
tree
next