Johannes Kanig 35e56d626f (no-tn-check) fix various whitespace issues on the repo ...

Change-Id: I387b5ffa968e0e212924455ada8a38ef71a64431

2021-12-15 11:54:30 +09:00

..

t2q6

…

all.wrn

…

gnat.cfg

…

proof_checker.cmd

…

spark.rep

…

spark.smf

…

SPARK.sum

…

spark.sw

…

t2q1a.adb

…

t2q1a.ads

…

t2q1b.adb

…

t2q1b.ads

…

t2q2.adb

…

t2q2.ads

…

t2q3.adb

…

t2q3.ads

…

t2q4_alt.adb

…

t2q4_alt.ads

…

t2q4.adb

…

t2q4.ads

…

t2q5.adb

…

t2q5.ads

…

t2q6__body.fdl

…

t2q6__body.rls

…

t2q6__body.siv

…

t2q6__body.slg

…

t2q6__body.vcg

…

t2q6__spec.fdl

…

t2q6__spec.rls

…

t2q6__spec.siv

…

t2q6__spec.slg

…

t2q6__spec.vcg

…

t2q6.adb

…

t2q6.ads

…

t2q6.lsb

…

t2q6.lss

…

t2q6.sli

…

t2q7.adb

…

t2q7.ads

…

t2q8.adb

…

t2q8.ads

…

tut2.idx

…