dickmao d6d97d135c Shutting down ... On my linux machine and travis, I'm noticing the undocumented `api/shutdown` does not reliably kill the server. I tried my best with appveyor but couldn't coerce it back to the working state 13 days ago.		2019-08-07 17:01:11 -04:00
..
appveyor.init.el	Appveyor iterating (WIP) (#573)	2019-07-28 18:20:13 -06:00
install-cask-appveyor.py	Shutting down	2019-08-07 17:01:11 -04:00
install-cask.sh	Ob-ein Improvements	2019-05-20 10:59:43 -04:00
install-evm.sh	Clean up multilang	2018-12-08 21:25:48 -05:00
install-julia.sh	julia needs a brew update, however	2019-06-10 21:35:50 -04:00
install-R.sh	more instances of the same	2019-06-10 21:21:53 -04:00
install-virtualenv.sh	more instances of the same	2019-06-10 21:21:53 -04:00
readme-sed.sh	Polymode	2019-04-02 09:35:17 -04:00
retry.sh	revive tkf tests	2018-09-27 00:52:00 -04:00