ada/SPARKlib
0
0
Fork 0
mirror of https://github.com/AdaCore/SPARKlib.git synced 2026-02-12 13:11:36 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
25.2
SPARKlib/CONTRIBUTING.md
Joffrey Huguet 7eee48d617 V913-014, W224-046 Copy SPARKlib source files 
This patch copies and adapts the source files of SPARKlib from the spark2014
repository into this one. It also changes the license of these files, as
SPARKlib is now licensed under Apache 2.0.
2023-04-07 11:29:15 +02:00

377 B
Raw Permalink Blame History

Contributing to SPARKlib

Thank you for taking the time to contribute!

If this is your first contribution, we invite you to read our list of guidelines, common to all AdaCore repositories.

Please base any pull requests on the master branch. This will facilitate the integration of your pull requests.

Reference in New Issue View Git Blame Copy Permalink