Dmitry V. Levin 92e347b556 Add copyright headers to some files that lack them ... We do our best to keep copyright headers up to date, yet git history provides better information on this subject and is more accurate than copyright headers.		2018-12-24 23:46:43 +00:00
..
install-dependencies.sh	Add copyright headers to some files that lack them	2018-12-24 23:46:43 +00:00
run-build-and-tests.sh	Add copyright headers to some files that lack them	2018-12-24 23:46:43 +00:00