text/basic_properties.tex
changeset 940 04079a7aeaef
parent 939 e3c5c55d901d
child 961 c57afb230bb1
equal deleted inserted replaced
939:e3c5c55d901d 940:04079a7aeaef