The source could not be displayed because it is larger than 1 MB.
You can
load it anyway or download it
instead.
-
unknown authored
manual.texi @code{.ext} rather than @file{.ext} so they're manual.texi all consistent. Docs/manual.texi: Fix filename extensions that were written using @code{.ext} rather than @file{.ext} so they're all consistent.3e0c9f93