diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-04-02 13:30:28 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-02 13:30:28 +0200 |
| commit | d4362822585c1dc7c66b13c8d4c339a2322526d0 (patch) | |
| tree | a1bd8529632b9b744db52609d31a0332f32e5d70 /.gitignore | |
| parent | de053f9410803d0830e586b4cec7e4ffe438d603 (diff) | |
| download | ekdosis-d4362822585c1dc7c66b13c8d4c339a2322526d0.tar.gz | |
ekdosis.textotei(): discard the argument of 'declared' commands
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions