resolve confusion over Deselect Edits
authorGood Guy <good1.2guy@gmail.com>
Thu, 28 Sep 2023 23:38:23 +0000 (17:38 -0600)
committerGood Guy <good1.2guy@gmail.com>
Thu, 28 Sep 2023 23:38:23 +0000 (17:38 -0600)
commit23163a52718f47e7a46f5376633267e740a1a7e4
tree629daa77b1f4a63260ec8af117e98acf61d9e08d
parent6daedff78b3f905357d49a9bf44468835d285b44
resolve confusion over Deselect Edits
parts/Editing.tex