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.

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