COPYING
changeset 12270 72032a9cfc0e
parent 10108 c68cf030eded