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
..
2018-04-22 23:58:21 -04:00
2019-02-15 12:19:29 -05:00
2019-02-11 16:47:36 +01:00
2011-04-02 11:00:19 +00:00
2018-12-28 23:35:07 -05:00
2011-02-21 19:56:43 +00:00
2018-12-11 17:43:17 -05:00
2018-08-20 09:34:53 +02:00
2018-08-20 09:34:53 +02:00
2018-07-25 19:44:26 +02:00
2018-08-28 15:22:50 -04:00