diff options
| author | Yoni Rabkin <yoni@rabkins.net> | 2020-08-11 08:52:29 -0400 |
|---|---|---|
| committer | Yoni Rabkin <yoni@rabkins.net> | 2020-08-11 08:52:29 -0400 |
| commit | 9902111423f393c4c0079feb4f51dfe425173b00 (patch) | |
| tree | 20976d3bb6f0c183a4414051ee5dae81b75b3171 /dir | |
| parent | 133559f869ac7faea68a2d48273b0347a3b316a2 (diff) | |
* dir: shorten the name of the info file
Diffstat (limited to 'dir')
| -rw-r--r-- | dir | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -15,5 +15,4 @@ File: dir, Node: Top This is the top of the INFO tree * Menu: Emacs -* rt-liberation: (rt-liberation). - Emacs Interface to RT +* rt-liberation: (rt-liber). Emacs Interface to RT |