Contributing to SPARK 2014
==========================

Thank you for taking the time to contribute!

If this is your first contribution, we invite you to read our [list of
guidelines](https://github.com/AdaCore/contributing-howto), common to all
AdaCore repositories.

Please base any pull requests on the master branch, even if you use the fsf
branch for your developments. This will facilitate the integration of your pull
requests.
