search

oscarlevin / pretext-tools

MIT License
7 stars 8 forks source link

Keyboard shortcut for build should build last target by default #74

Closed oscarlevin closed 6 months ago

oscarlevin commented 6 months ago

Fixed in 0.17