]> gcc.gnu.org Git - gcc.git/commit
[Ada] Remove unused files
authorArnaud Charlet <charlet@adacore.com>
Sat, 5 Dec 2020 09:44:48 +0000 (04:44 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 17 Dec 2020 10:49:25 +0000 (05:49 -0500)
commitacf190b208ae6883e94bcaa13adf9e3439bee63d
tree230a22f70226dfc1d3b018ec5c06970185b4f4b8
parent98032cd46ffc18adfdbf6fb7b585998283ada9f5
[Ada] Remove unused files

gcc/ada/

* symbols.ads, symbols.adb: Removed no longer used.
gcc/ada/symbols.adb [deleted file]
gcc/ada/symbols.ads [deleted file]
This page took 0.05994 seconds and 5 git commands to generate.