8 commits

Author	SHA1	Message	Date
Alessandro Pezzè	cf3802cc7f	play: add -x flag	2020-04-23 21:59:36 +02:00
Alessandro Pezzè	0951d79dc7	play: open PR towards api-data	2020-04-23 21:48:55 +02:00
Alessandro Pezzè	96478a2fcd	fix: add indentation	2020-04-23 13:21:18 +02:00
Alessandro Pezzè	09ff84c1b1	play: test machine user	2020-04-23 13:13:43 +02:00
Paul Hallett	d5d55dad7f	Autoformat entire project, tidy up makefile	2020-02-24 13:18:14 +13:00
Charles Marttinen	ec6ff6ee86	fix: Update CircleCI config to use Python3.7	2018-10-20 11:35:11 -04:00
Tim Malone	db8fdcfd60	chore - add missing lint step in CircleCI 2.0 config	2018-09-10 09:41:51 +10:00
Mark Tse	cbfd195e8b	chore - migrate to CircleCI 2.0; resolves #359.	2018-09-10 09:41:51 +10:00