4 Commits

Author	SHA1	Message	Date
Isaev Denis	66d4a16c6a	Merge branch 'master' into lukeshu/reproduce	2019-06-09 13:18:41 +03:00
Alexey Palazhchenko	778888a6f5	Make install script work on Windows. ... Closes #472.	2019-06-09 13:01:30 +03:00
Luke Shumaker	2508856219	Makefile: Be clear about exactly which files are generated, and how ... This mostly aims to document how everything was generated, and the steps necessary to re-generate the same files verbatim; the goal is to figure out how to reproduce the files as they currently are. The exception is that we strip out the timestamp out of install.sh.	2019-06-05 01:04:00 -04:00
Kishan B	59c3d20303	Add install.sh to the repo and update readme. Fixes #233	2018-10-03 23:28:30 +03:00