diff options
| author | Pierre-Marie Pédrot | 2020-04-30 13:59:21 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-04-30 14:04:38 +0200 |
| commit | 3034677ef9103262f8ed2e632bec843d25f9b25f (patch) | |
| tree | 4db6d76e9c7c3d211849e3570039919396a0cd59 /dev/ci | |
| parent | 010ef152611977770fa137ed5980205d412febe5 (diff) | |
Remove outdated code and comments in Declare.
Some comments referred to the old way of redeclaring constants at section
closure. One of the comments was almost 20 years old...
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions