InstrumentManager usability improvements
Description
Description
Details
Details
- Committed
SAFedorov Aug 15 2018, 11:02 - Parents
- rINSTCONTROL44e64c314374: InstrumentManager merged with FindInstrumentDlg
- Branches
- Unknown
- Tags
SAFedorov | Aug 15 2018, 11:02 |