4 Commits

Author	SHA1	Message	Date
Mike Aizatsky	d47c71b909	Update Jenkinsfile	2016-10-11 14:34:18 -07:00
Oliver Chang	bcdafbec0e	[infra] optional dockerfile; copy .dict and .options ... - Remove requirement of specifying dockerfile in Jenkinsfile. Assume it is in the library directory by deefault. - Try to copy any *.dict or *.options files to output directory.	2016-08-30 13:08:26 -07:00
Mike Aizatsky	a7d1bf0974	[expat] cleanup	2016-07-26 14:10:17 -07:00
Mike Aizatsky	3d59d551e9	[expat] initial configuration	2016-07-21 11:38:57 -07:00