From: Rémi Verschelde <rverschelde@gmail.com>
Date: Sat, 11 Feb 2017 17:04:57 +0000 (+0100)
Subject: Devtools: Enhance ddialog command
X-Git-Url: https://git.jsancho.org/?a=commitdiff_plain;h=ddbdc1a8a7b22f7a4c03667672436d8744f45c90;hp=ddbdc1a8a7b22f7a4c03667672436d8744f45c90;p=lugaru.git

Devtools: Enhance ddialog command

It can now be used to delete a given dialog index, and not only
the last one. Also renamed "dialogue" to "dialog" as used in most
places.

Added some documentation about dialog devtools.
---