diff options
| author | Javier <dev.git@javispedro.com> | 2020-10-12 02:27:14 +0200 |
|---|---|---|
| committer | Javier <dev.git@javispedro.com> | 2020-10-12 02:27:14 +0200 |
| commit | 55b5c88cf93d06629ba70eb7cddeb50a365b170a (patch) | |
| tree | 49073a56b531898d27822812ba859bd26892f634 /COPYING | |
| parent | a22f3f54d9426c29220815f95dec574a11c43f69 (diff) | |
| download | scribiu-55b5c88cf93d06629ba70eb7cddeb50a365b170a.tar.gz scribiu-55b5c88cf93d06629ba70eb7cddeb50a365b170a.zip | |
minor UI refactor; allow reading ".archive" directories
Archives cannot be created from the UI yet.
Just copy a .pen directory to an .archive directory for now.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions