Gitiles
Code Review
Sign In
review.sourcearcade.org
/
filo-scratch
/
c4c7a5e6bc730c4a1befc9470d7cc06adfc5a1fc
/
.
/
default.adc
blob: c4a1e0300069f4b0d55836139591eeea3a39bf47 [
file
] [
log
] [
blame
]
pragma SPARK_Mode
(
On
);