repo.or.cz
/
org-mode.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Merge branch 'maint'
2013-07-09
Ko
d
i
A
rfer
o
x
-
html:
U
nder html5-fa
n
c
y, use
<
nav> for the ToC
commit
|
commitdiff
|
tree
2013-07-09
Kodi Ar
f
e
r
ox
-
html:
A
llow "Figure %d:", etc
.
to be styled
commit
|
commitdiff
|
tree
2013-06-30
Kodi Arfer
o
x
-html: Resto
r
e
wrongl
y
omitted table a
t
tributes under
.
.
.
commit
|
commitdiff
|
tree
2013-05-30
Kodi Arfe
r
o
x
-html: Fix handling of t
i
me-stamp-
f
il
e
commit
|
commitdiff
|
tree
2013-05-30
Kodi Arfer
ox-html:
F
ix handling of time-stamp-fil
e
commit
|
commitdiff
|
tree