diff options
| author | Omar Rizwan <omar@omar.website> | 2023-07-12 00:50:44 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-12 00:50:44 +0000 |
| commit | e5122a6bd77b02933d88a961c3a05cbf3db17fbb (patch) | |
| tree | 01e02cf07799a3d77d1b67507a1e4b1d7182d75b /virtual-programs/new-program-web-editor.folk | |
| parent | Merge pull request #44 from FolkComputer/osnr/regions (diff) | |
| parent | Small tweaks for info density/legibility (diff) | |
| download | folk-e5122a6bd77b02933d88a961c3a05cbf3db17fbb.tar.gz folk-e5122a6bd77b02933d88a961c3a05cbf3db17fbb.zip | |
Merge pull request #47 from FolkComputer/arc/prettyweb
Make web interface prettier.
Diffstat (limited to 'virtual-programs/new-program-web-editor.folk')
0 files changed, 0 insertions, 0 deletions