diff options
| author | Blaž Hrastnik | 2020-10-22 05:35:07 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2020-12-03 04:10:35 +0000 |
| commit | b39849dde1b1277d14dbc4e2e1604e5d020db43d (patch) | |
| tree | c247d4f605db00248eaa0a4383c5ec65db5f69cc /.gitignore | |
| parent | 81ccca0c6a18de86223b8142b5742e0603b9b230 (diff) | |
Refactor: Document type as a wrapper around barebones State.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions