diff options
| author | Tristan Gingold | 2014-01-21 22:14:35 +0100 |
|---|---|---|
| committer | Tristan Gingold | 2014-01-21 22:14:35 +0100 |
| commit | 92371d706f42cbee5e72ad706a30202c7468f992 (patch) | |
| tree | d6e84356b1957421cc02e6b2ea41934bea4021b0 /tokens.adb | |
| parent | ee29f133b030abaeadb3e57d0c5db7c3f3e70535 (diff) | |
| download | ghdl-92371d706f42cbee5e72ad706a30202c7468f992.tar.gz ghdl-92371d706f42cbee5e72ad706a30202c7468f992.tar.bz2 ghdl-92371d706f42cbee5e72ad706a30202c7468f992.zip | |
Minor improvement of previous patch (use a more standard pragma).
Diffstat (limited to 'tokens.adb')
0 files changed, 0 insertions, 0 deletions