diff options
| author | Florian Klink <flokli@flokli.de> | 2019-11-22T15·41+0100 |
|---|---|---|
| committer | Florian Klink <flokli@flokli.de> | 2019-11-22T15·41+0100 |
| commit | 9c36bb0e6c9f11db207ab34e545eb1de956bc806 (patch) | |
| tree | 933a6c95e3bffac02a58f1f11873bd599e09602b /shell.nix | |
| parent | a77beee02b48e053ddbfaac2b9ed0bf843d38757 (diff) | |
frontend: add menu, info box and log area
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions