The uncontroversial part of Michael Schmitt's minipage cleanup (removal of the gnome...

[features.git] / src / insets / inset.h

diff --git a/src/insets/inset.h b/src/insets/inset.h
index f2817241117812cbb421d99bff48d52e8c6a3bed..2bcf2c0289d260884d8f75bc9e567d65ceb82664 100644 (file)
--- a/src/insets/inset.h
+++ b/src/insets/inset.h
@@ -95,8 +95,6 @@ public:
                ///
                WRAP_CODE,
                ///
-               MINIPAGE_CODE,
-               ///
                SPACE_CODE, // 25
                ///
                SPECIALCHAR_CODE,