diff options
| author | José Luis Lafuente <jose.lafuente@tweag.io> | 2022-10-20 20:01:08 +0200 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2022-10-20 12:19:26 -0700 |
| commit | 57e02f7b978df0586045fe2cb543273afe67a03f (patch) | |
| tree | 50c1a8ed04281cf29052512a63dba84a5f67dc55 /plugin | |
| parent | d49495fe72cbcedc944eece3611005dc0fa6acda (diff) | |
nickel: use @boolean
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions