make/configure_motif.sh

changeset 57
ddfd6b90cc54
parent 37
56016468753d
equal deleted inserted replaced
56:87e3a5dc66dd 57:ddfd6b90cc54

mercurial