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