commit 289cb58f52fe69a6c4807332b518dab4c2a8f546
Author: Juergen Spitzmueller
Date: Sat Jul 11 16:41:34 2020 +0200
Remove unneeded header
---
src/insets/InsetFloat.cpp |1 -
1 files changed, 0 insertions(+), 1 deletions(-)
diff --git a/src/insets/InsetFloat.cpp b/src/insets/InsetFloat.
commit b7dd5ade945f8186301924013ff2cca1ebe2a528
Author: Enrico Forestieri
Date: Mon Jul 6 23:47:22 2015 +0200
Remove unneeded header
Forgot this at 4dff1394
diff --git a/src/mathed/MathMacro.cpp b/src/mathed/MathMacro.cpp
index 08f367c..7901128 100644
--- a/src/mathed/MathMacro.cp
The branch, master, has been updated.
- Log -
commit be5965ae9183ebd17e71b74d4721520d85be6e6c
Author: Juergen Spitzmueller
Date: Tue Oct 9 07:36:17 2012 +0200
remove unneeded header and declaration
diff --git a/src/frontends