QTfrontend/KB.h
changeset 1247 890b6741251d
parent 1066 1f1b3686a2b0
child 2948 3f21a9dc93d0
equal deleted inserted replaced
1246:6c6284b32d1a 1247:890b6741251d