Naev: Naev v0.13.0 released!

It’s time for the Naev yearly release. This is a big one that paves the way for plugins as first-class citizens of the Naev ecosystem. The development manual has also been changed to be web-based instead of a clunky PDF…