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