Right now, we update the version on About SWAMP by hand. For obvious reasons, this is bad, as at some point, we'll forget to update it when we increment the version (as has happened already). Instead, we want to do something like custom PDE callbacks
Right now, we update the version on About SWAMP by hand. For obvious reasons, this is bad, as at some point, we'll forget to update it when we increment the version (as has happened already). Instead, we want to do something like custom PDE callbacks