repo.or.cz
/
diouzhtu.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Add mk.modules to simplify makefile
2007-12-13
Olivier Ramon
a
t
Add m
k
.
mod
u
l
es to simpli
f
y
m
akefile
commit
|
commitdiff
|
tree
2007-11-13
Olivier Ramonat
Fi
x
make (un)install t
a
rg
e
t
commit
|
commitdiff
|
tree
2007-10-30
Olivier R
a
monat
Re
f
orma
t
t
i
n
g (errors det
e
cted by gnatchec
k
)
commit
|
commitdiff
|
tree
2007-10-30
Ol
i
vier Ramonat
Put all object
s
in
.
build
commit
|
commitdiff
|
tree
2007-10-30
Olivier Ramonat
Fix lib install paths
commit
|
commitdiff
|
tree
2007-10-27
Olivier Ramon
a
t
F
i
x br
o
ken gwiad_plug
i
n_distrib
commit
|
commitdiff
|
tree
