Author |
Committer |
Branch |
Timestamp |
Parent |
wmayer |
wmayer |
master |
2020-06-07 18:58:45 |
master 89ddab33 |
Changeset |
[skip ci] include missing boost header |
mod - src/Mod/Part/Gui/TaskDimension.cpp |
Diff
File
|
mod - src/Mod/PartDesign/Gui/TaskHoleParameters.cpp |
Diff
File
|