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	core, basis, extra: Remove DOS line endings from files.	2015-06-29 17:25:40 -07:00
prettyprint	core, basis, extra: Remove DOS line endings from files.	2015-06-29 17:25:40 -07:00
authors.txt	Add EOL at EOF for all authors.txt files for consistency	2016-07-30 09:25:30 -07:00
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