5 commits

Author	SHA1	Message	Date
JAremko	ecf6faedb7	Fix header	2017-09-24 21:47:19 +03:00
JAremko	430c6751eb	add PR check to CircleCI	2017-09-24 21:42:11 +03:00
JAremko	1a2daa69f9	Update CircleCI script	2017-09-23 23:34:49 +03:00
JAremko	2af6ab9d39	Add headers to CircleCI Docker files	2017-09-02 12:38:17 +03:00
JAremko	f0bc44738d	Add new Docker files for CI ... [tools&CI] Add arg -Q to Emacs calls where it is appropriate	2017-08-31 19:12:45 +03:00