Header doesnt add anything really, so we replace with a little popover - Githubissues

glaserL / viasp

A visualization tool for clingo

MIT License

3 stars 3 forks source link

Header doesnt add anything really, so we replace with a little popover #15

Closed glaserL closed 2 years ago