text/basic_properties.tex
changeset 600 e9032f8dee24
parent 560 b138ee4a5938
child 705 ef503460486d
equal deleted inserted replaced
599:ae1ee41f20dd 600:e9032f8dee24