| 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 |