repo.or.cz
/
org-mode
/
org-tableheadings.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
org.texi: Remove useless footnote
2016-08-08
Clément Pit--Clau
d
el
C
o
py all font-lock properties in o
r
g-sr
c
, not
just
.
.
.
commit
|
commitdiff
|
tree
2016-08-08
Clé
m
ent Pit--Claudel
Use font-lock-append-tex
t
-
p
r
o
perty t
o
apply org-src
.
.
.
commit
|
commitdiff
|
tree