Skip to content

v0.12.2

Compare
Choose a tag to compare
@PragTob PragTob released this 27 Feb 08:49
· 2 commits to master since this release

Bugfixes

  • Refreshing the page while a source file is open works again. Thanks @HansBug for the report #94 and @Tietew for the fix!