QTfrontend/KB.h
changeset 2244 853a1db1cff6
parent 1066 1f1b3686a2b0
child 2948 3f21a9dc93d0
equal deleted inserted replaced
2243:b4764993f833 2244:853a1db1cff6