Skip to content
This repository was archived by the owner on Aug 3, 2024. It is now read-only.

Backends #193

Merged
merged 10 commits into from
Jun 9, 2018
Merged

Backends #193

merged 10 commits into from
Jun 9, 2018

Conversation

Timidger
Copy link
Member

@Timidger Timidger commented Jun 5, 2018

Lets you specify what backends to run. Fixes #170, #169, and #171.

TODO

  • Wrap Session

Ok backends are done
@Timidger Timidger merged commit fee89b6 into master Jun 9, 2018
@Timidger Timidger deleted the backends branch June 9, 2018 19:27
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

1 participant