Scripts

This directory contains development related scripts. These should not be added to releases.

The dorelease script prepares the repository for a new release.