ada/spark2014
0
0
Fork 0
mirror of https://github.com/AdaCore/spark2014.git synced 2026-02-12 12:39:11 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
20-sustained
spark2014/docs/case_study
History
Piotr Trojanek 7d79f30d8f remove trailing whitespace from Ada source code 
(no-tn-check)

Change-Id: Iceab29878b39f74f76a9a7a4a04830cd501e70ff
2019-01-29 13:39:27 +01:00
..
doc
…
ex2
…
ex3
remove trailing whitespace from Ada source code
2019-01-29 13:39:27 +01:00
ex4
…
ex4_proof
…
ex5
…
ex6
…
ex7
…
ex8
…
ex9
…
tokeneer
remove trailing whitespace from Ada source code
2019-01-29 13:39:27 +01:00