Small correction.

This commit is contained in:
Enrico Forestieri 2015-05-21 23:32:44 +02:00
parent 98d3352fcd
commit cc87f3a61c

View File

@ -9,7 +9,7 @@
* The --Separator-- layout has been removed in favor of an environment
separator inset. There is no provision for inserting this inset from
the GUI (though some menus use it) as it is automatically inserted
the GUI (though some menu entries use it) as it is automatically inserted
when needed. See Section 3.4.6 of the User Guide for details.
!!!The following pref variables were added in 2.2: