Documentation / technical / api-parse-options.txton commit diff: make sure work tree side is shown as 0{40} when different (2b459b4)
   1parse-options API
   2=================
   3
   4Talk about <parse-options.h>
   5
   6(Pierre)