diff --git a/src/Gui/Document.h b/src/Gui/Document.h index e86ab6bfab..0aa7ed4403 100644 --- a/src/Gui/Document.h +++ b/src/Gui/Document.h @@ -374,4 +374,3 @@ private: #endif // GUI_DOCUMENT_H -