Benjamin Dweck 46ab5fea97 Merger with rudefox master ... Merge branch 'master' of https://git.rudefox.io/bj/torch-agent		2020-10-23 12:41:03 +02:00
..
__init__.py	Version 0.0.6 increment	2020-10-22 11:37:34 +02:00
__main__.py	Moved build over to Python setuptools and Debian dh_python	2020-10-08 15:20:42 +02:00
torch_agent.py	Trying to make server certificate hostname verification optional	2020-10-22 13:52:02 +02:00