3 commits

Author	SHA1	Message	Date
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
JAremko	06301b2212	Improve exporting/testing	2017-08-18 20:50:21 +03:00
JAremko	2ef230369a	Convert new exporter into standalone tool	2017-08-02 09:16:23 +03:00