diff options
| author | stuebinm | 2024-04-19 02:49:45 +0200 |
|---|---|---|
| committer | stuebinm | 2024-04-19 02:49:45 +0200 |
| commit | f17762ec0ef9eea0ee3e67b0b2b1ec4fd623a72b (patch) | |
| tree | d1ae38663152d0aebad0943e4de7816fbc39befe /trivials.json | |
| parent | 93d72079a86849e0453c9130c73e1702e3d66f69 (diff) | |
(instead of just printing them, might be useful for scripts — also, I've
not come up with a better name than "nixq" yet, so it really ought to be
able to query things)
Diffstat (limited to 'trivials.json')
0 files changed, 0 insertions, 0 deletions