repo.or.cz
/
texmacs.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
-log-file option
2009-11-30
da
v
idmic
h
el
-log-file option
commit
|
commitdiff
|
tree
2009-11-20
davidmichel
get_date function for Windows
commit
|
commitdiff
|
tree
2009-11-20
d
avi
d
mic
h
el
New -log-fi
l
e optio
n
& removed
ugly DOS conso
l
e
commit
|
commitdiff
|
tree
2009-11-17
dav
i
dmichel
Ne
w
configure file
commit
|
commitdiff
|
tree
2009-11-17
da
v
idm
i
chel
Mo
d
ifs o
f
config
/
make fi
l
es t
o
support cross-compila
t
ion
commit
|
commitdiff
|
tree