bj 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