|
From: | Nicholas Drozd |
Subject: | bug#37225: [PATCH] * doc/misc/ido.texi: Clean up text |
Date: | Thu, 29 Aug 2019 18:50:22 -0500 |
Fixes for minor bugs in the Ido manual.
0001-doc-misc-ido.texi-Clean-up-text.patch
Description: Source code patch
[Prev in Thread] | Current Thread | [Next in Thread] |