diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-07-13 19:56:16 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-07-13 20:02:21 +0200 |
| commit | f4cd9ce7c2fe08e0ed0eea96a129194e375846ce (patch) | |
| tree | 8b5569723fda5daf5002517f82416d350e58d324 /.gitignore | |
| parent | 013e28163ccc4c5b1bbbad274446826b62841c55 (diff) | |
| download | ekdosis-f4cd9ce7c2fe08e0ed0eea96a129194e375846ce.tar.gz | |
enclose the arguments to go in the apparatus in a group
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions