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