Val Erastov 1ccf2e937f adjust modification info position		2019-02-24 16:38:48 -08:00
..
HistoryTimeline.jsx	create/move datum operation	2018-10-30 23:01:57 -07:00
HistoryTimeline.less	inserting operation into history	2018-07-07 12:44:23 -07:00
ObjectExplorer.jsx	show role and origin for faces in the object explorer view	2019-02-15 19:35:29 -08:00
ObjectExplorer.less	brep builder improvements	2018-08-05 22:27:01 -07:00
OperationHistory.jsx	color code points to accommodate OperationHistory view	2018-12-13 20:59:51 -08:00
OperationHistory.less	color code points to accommodate OperationHistory view	2018-12-13 20:59:51 -08:00
SelectedModificationInfo.jsx	adjust modification info position	2019-02-24 16:38:48 -08:00
SelectedModificationInfo.less	history timeline widget	2018-07-05 22:42:25 -07:00