diff options
| author | stuebinm | 2021-12-02 02:28:23 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-02 16:00:54 +0100 |
| commit | 7d8c66b4c3ffd610ef0da98c3f2ff8626f1c8af6 (patch) | |
| tree | 1fd37b223dea6001c421aa17471d5108d2eb4e0a /.gitignore | |
| parent | c2a49d6ea46c38f107ac1a47a965e4777be2aecc (diff) | |
collect badges from object layers
this includes a halfway-reasonable parsing of object layers, as well as
some monad plumbing to get them all in the right place.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions