ProofEditor Won't Show Issues If Not Served #110

Open

Labels

Milestone

Usable Without A Server Of Any Kind

TimothyGillespie

opened

on Aug 12, 2019

Similar to #108.

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

Usable Without A Server Of Any KindNo due date

Relationships

None yet

Development

No branches or pull requests