diff options
| author | defanor <defanor@uberspace.net> | 2017-12-22 00:55:52 +0300 |
|---|---|---|
| committer | defanor <defanor@uberspace.net> | 2017-12-22 00:55:52 +0300 |
| commit | 9d7940ac07b1e1bf408d39df05305ef879f27729 (patch) | |
| tree | 9887c4c4382cc75163a20ce0524ca1d5b83f4162 /pancake.1 | |
| parent | 0d6038c53bd671505b8bdbc3f33f5479351ac6e6 (diff) | |
Use a list of elements instead of enumeration
The list is ordered anyway, no need to keep numbers there.
Diffstat (limited to 'pancake.1')
0 files changed, 0 insertions, 0 deletions