From 350ead265107431b0e9fd8e9d46d33ad3f64fe45 Mon Sep 17 00:00:00 2001 From: lethosor Date: Wed, 11 Jul 2018 12:02:30 -0400 Subject: [PATCH] Add digv and related anchors --- docs/Plugins.rst | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docs/Plugins.rst b/docs/Plugins.rst index 5f41bafed..90e6d5c37 100644 --- a/docs/Plugins.rst +++ b/docs/Plugins.rst @@ -1933,6 +1933,10 @@ all 'down ramps' that can remain after a cave-in (you don't have to designate anything for that to happen). .. _dig: +.. _digv: +.. _digvx: +.. _digl: +.. _diglx: dig ===