Scott Kostyshak 9aaa6c73d5 Intro.lyx: remove a "short title" ... This short title removed a spaced, and when taking a look we decided that the advantages of removing it (simplicity and consistency) outweigh the benefits of having a shorter entry in the table of contents and PDF bookmarks. (cherry picked from commit 9c748a04702a979786f39bb7fa367e3945b51ae3)		2019-02-15 12:19:29 -05:00
..
Intro.lyx	Intro.lyx: remove a "short title"	2019-02-15 12:19:29 -05:00