Alexander Iljin 504c9959a1 Update some copyright headers to follow the current convention ... Had to look through the history to find years for some headers. Added authors to some files as well.		2017-09-11 15:43:03 -07:00
..
mirrors	…
prettyprint	…
authors.txt	…
identity-tests.factor	Update some copyright headers to follow the current convention	2017-09-11 15:43:03 -07:00
identity.factor	Update some copyright headers to follow the current convention	2017-09-11 15:43:03 -07:00
summary.txt	…
tags.txt	basic/, extra/: even more tags	2017-07-07 01:45:13 +02:00