diff options
| author | 2022-10-10 20:11:31 +0200 | |
|---|---|---|
| committer | 2022-10-10 20:11:31 +0200 | |
| commit | 72d64e806dc460641cc7f32ff9d1e64677ea1cc3 (patch) | |
| tree | 1fe8dbba89d909d181e5a971d69e87776282a769 /.gitignore | |
| parent | dbf6b2d3eedf1bdffb398254ef365a33aacb0e82 (diff) | |
SEL[*] gather operator
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions