COPYING
changeset 8253 eec832095805
parent 6168 91640fd48876