diff options
| author |  Simon Van Casteren <simonvancasteren@localhost.localdomain> | 2019-12-13 20:03:01 +0100 |
|---|---|---|
| committer | Simon Van Casteren <simonvancasteren@localhost.localdomain> | 2019-12-13 20:03:01 +0100 |
| commit | 1fb21cbcb469891265a8be66d992b38ba5a6e05e (patch) | |
| tree | 6323aa23cbfdec5768bf12a7bddb82958caf879f /shell.nix | |
| parent | 1b07e7b1e1b8a81197e98a71baf9c51579f48a3f (diff) | |
Always add text to fileState even if elabState throws
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions