COPYING
changeset 12215 2cbc57db82e1
parent 10108 c68cf030eded