michael@0: Within this directory, each of the file listed below is licensed under 
michael@0: the terms given in the file LICENSE-MPL, also in this directory.
michael@0: 
michael@0: pi1k.txt
michael@0: pi2k.txt
michael@0: pi5k.txt