source: src@ 988:0ba32f747163

python3
Name Size Rev Age Author Last Change
../
mlx 988:0ba32f747163   5 years ivaradi The fault display in the explanation widget is of the correct size …
Note: See TracBrowser for help on using the repository browser.