2 Commits

Author	SHA1	Message	Date
stephan	2f06bf2541	Lots of tweaking in batch-runner.js. Minor internal API update in OO #1 API. ... FossilOrigin-Name: 24b82b9504db3d8e1335c2300b133f897dc1a541026dc24be5b0ffd8be66d977	2022-08-29 18:58:38 +00:00
stephan	2cae138fba	Add batch-runner.js for running batch SQL scripts with timing info. ... FossilOrigin-Name: 11f3ed61150c5940da6c157e5063e70c3aa0628dfd0023c47bb65b00af74ab1f	2022-08-29 12:39:34 +00:00