diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-08-21 20:55:29 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-08-21 21:17:45 +0200 |
| commit | a3252f620fad970bbe8b7470401a04ee4225193e (patch) | |
| tree | 5860f52ec628dfc72ba8a4a1dea898270a991e4d /tests/Kdeploop1 | |
| parent | 67e890cc9d926213fbec93afb3ee14e6c24f9a50 (diff) | |
Merge Symbol._checked and Symbol._written
These are never used at the same time, and Symbol._visited is a good
name for both.
Gets rid of an internal attribute.
Diffstat (limited to 'tests/Kdeploop1')
0 files changed, 0 insertions, 0 deletions