2021-11-10 11:02:31 +01:00
|
|
|
window_sizes 1920 1017 450 1465 867 104
|
2021-11-10 10:38:50 +01:00
|
|
|
|
|
|
|
|
show_stereotypes
|
2021-11-10 11:02:31 +01:00
|
|
|
selected class_ref 129517 // Operator_Kart_Platniczych
|
2021-11-10 10:38:50 +01:00
|
|
|
open
|
|
|
|
|
classview_ref 128109 // domain
|
|
|
|
|
end
|
|
|
|
|
end
|
