diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2021-08-08 18:24:21 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2021-08-08 18:24:21 (GMT) |
| commit | c0cc928bfab0af2cdbf16e9a04d41983f4732b93 (patch) | |
| tree | eb62ba48bae31886ddad2385c2ccfbc1e002ec6f /plugins/govm | |
| parent | 1b7c29ed7dd9561a387be694f09c089e6126716c (diff) | |
Introduce singletons for operands.
Diffstat (limited to 'plugins/govm')
0 files changed, 0 insertions, 0 deletions