PatR 8ec322b87e
last? boulder change - Guidebook update ...
Describe the new feature of m<dir> making it feasible to move to a
boulder'd spot without pushing. Giving specific information among
vague descriptions is awkward....
While in there, move a handful of sentences to separate lines as per
the 'roff guidelines. I did the same for Guidebook.tex even though
it's not needed there, to try to keep things parallel.
2021-10-11 14:50:29 -07:00
2018-11-11 10:29:52 -05:00
2020-02-15 13:08:34 -08:00
2020-08-03 22:07:36 -04:00
2018-04-25 16:54:50 -04:00
2020-01-14 12:01:30 -05:00
2018-09-21 16:36:38 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 18:12:42 -07:00
2018-09-21 14:57:12 -04:00
2018-04-25 16:54:50 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2018-09-21 18:12:42 -07:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2003-05-11 13:40:01 +00:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2020-11-28 08:59:03 -05:00
2019-05-09 17:15:14 -07:00
2019-12-03 23:32:12 -05:00
2020-11-28 08:59:03 -05:00
2020-01-27 18:11:43 -05:00
2020-03-07 10:47:51 -08:00
2021-10-11 13:36:10 -04:00
2016-06-19 19:52:28 -04:00
2020-02-14 18:15:25 -08:00
2020-02-15 14:42:00 -08:00
2021-10-11 14:50:29 -07:00
2021-10-11 14:50:29 -07:00
2021-09-26 15:47:15 -04:00
2021-08-15 13:50:28 +03:00
2021-01-03 13:37:25 -06:00
2021-01-04 12:52:42 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:10 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:26 -05:00
2020-01-19 23:09:53 -05:00
2020-01-20 08:52:59 -05:00
2021-01-30 12:28:23 -05:00
2018-04-25 16:54:50 -04:00
2020-01-14 12:02:57 -05:00
2018-09-20 18:02:48 -04:00
2020-08-03 22:07:36 -04:00
2021-08-21 07:59:18 -04:00
8ec322b87e