Jose Diaz-Gonzalez efeb5d8310 dev: add file (for linting) and nano (for in-container editing) to devcontainer

2021-09-12 22:20:42 -04:00

..

bin

dev: add convenience copy-file bin and fix data path used by plugin

2021-09-12 03:28:55 -04:00

20_init_plugin

dev: add convenience copy-file bin and fix data path used by plugin

2021-09-12 03:28:55 -04:00

devcontainer.json

dev: make devcontainer setup plugin agnostic

2021-09-12 02:39:17 -04:00

Dockerfile

dev: add file (for linting) and nano (for in-container editing) to devcontainer

2021-09-12 22:20:42 -04:00