search

wimmers / push-tasks

Push tasks to competitions.isabelle.systems
MIT License
1 stars 0 forks source link

feat(dist): Added package distribution #3

Closed Dacit closed 3 years ago

Dacit commented 3 years ago

Licensed under MIT - to be uploaded ot pypi.

wimmers commented 3 years ago

Thanks very much!