doc-src/TutorialI/settings.ML
changeset 39024 30d5dd2f30b6
parent 38767 d8da44a8dd25
equal deleted inserted replaced
39023:3f70c03e8282 39024:30d5dd2f30b6