diff options
| author | m-kru <mkru@protonmail.com> | 2020-05-11 21:24:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-11 21:24:04 +0200 |
| commit | e8b7ef1517e546b56d3a7ecf83bf242a1ac85d82 (patch) | |
| tree | ea0abbdb97f23a43156587c3f544dcf99be160f3 /src/areapools.ads | |
| parent | a0919fe84b25f37d0307805650379830094fcfbf (diff) | |
| download | ghdl-e8b7ef1517e546b56d3a7ecf83bf242a1ac85d82.tar.gz ghdl-e8b7ef1517e546b56d3a7ecf83bf242a1ac85d82.tar.bz2 ghdl-e8b7ef1517e546b56d3a7ecf83bf242a1ac85d82.zip | |
Improve formatting of testenv.sh file. (#1301)
Replace tabs with spaces.
Unify indentation to 2 spaces.
Diffstat (limited to 'src/areapools.ads')
0 files changed, 0 insertions, 0 deletions