| commit | 5b0ab8be628ecc658a3cc7b76d44342e76fdd72e | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Sat Jul 23 12:15:39 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Sat Jul 30 12:13:47 2016 +0200 |
| tree | 94608573b6a4505e32dc9c5d2a7a307fbd44f261 | |
| parent | ecef093def78db374c7960fb3f0d3b55a7913282 [diff] |
shortcuts: remove any unnecessary classifying of keys After initialization, the type of a key is never used nor needed (other than for meta keys).