comparison hgeditor @ 25649:e90e031b3016

doc: document the ui.patch option This option has been undocumented since e56c7e05c7e6 (July 2007).
author Jordi Gutiérrez Hermoso <jordigh@octave.org>
date Tue, 23 Jun 2015 13:47:42 -0400
parents 2b440bb8a66b
children 1aee2ab0f902
comparison
equal deleted inserted replaced
25648:9b9877d2b229 25649:e90e031b3016