Le 15/10/2024 à 20:10, Pavel Sanda a écrit :
commit abd26f1122b88be63ad7491f50fb76b3b7e467ea
Author: Pavel Sanda
Date: Tue Oct 15 20:09:52 2024 +0200
Not needed anymore
Hi Pavel,
I see you removing header after header. How do you determine the extra
ones? By you sheer eye power?
JM
commit abd26f1122b88be63ad7491f50fb76b3b7e467ea
Author: Pavel Sanda
Date: Tue Oct 15 20:09:52 2024 +0200
Not needed anymore
---
src/frontends/qt/GuiWorkArea.h | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/frontends/qt/GuiWorkArea.h b/src/frontends/qt/GuiWorkArea.h
index 446253248a
commit b39cc9ed89465a01c23edf3c742e6acaa2f37a46
Author: Pavel Sanda
Date: Mon Sep 30 20:11:23 2024 +0200
Not needed anymore.
---
src/frontends/qt/GuiSendto.h | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/frontends/qt/GuiSendto.h b/src/frontends/qt/GuiSendto.h
index 69437454e6..9
commit ad0d5f9d403ec42aa68e1bb0db39ac9dcddcf907
Author: Pavel Sanda
Date: Fri Aug 23 21:35:53 2024 +0200
Not needed anymore.
---
src/frontends/qt/GuiCommandBuffer.h | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/frontends/qt/GuiCommandBuffer.h
b/src/frontends/qt/GuiCommandBuffer