server/schema2sql.py
changeset 10254 e42c2226c878
parent 10204 f8ccae1e271d
child 10443 2d3834df64ab