Bastien Guerry 064a681303 mk/*pl: Remove type="text/javascript" as it is unnecessary 3 years ago
..
default.mk c5538d58c4 mk/default.mk: Use Emacs manual css for Org online manual 4 years ago
guidesplit.pl 064a681303 mk/*pl: Remove type="text/javascript" as it is unnecessary 3 years ago
manfull.pl b289a65be7 Use https for links to orgmode.org 7 years ago
mansplit.pl 064a681303 mk/*pl: Remove type="text/javascript" as it is unnecessary 3 years ago
org-fixup.el a50a42ceae Use lexical-binding cookie in some trivial files 4 years ago
orgcard2txt.pl 8cc992f7b2 Prefer HTTPS to HTTP for links to gnu.org 4 years ago
server.mk 71604cbc2d Fix typos 4 years ago
targets.mk 61336f80dc mk/targets.mk: Add version fallback for tag-less repos 4 years ago