diff options
Diffstat (limited to 'usb')
| l--------- | usb/edit-lens | 1 | ||||
| l--------- | usb/interactive-edit-lens | 1 | ||||
| l--------- | usb/stack.nix | 1 | ||||
| l--------- | usb/stack.yaml | 1 |
4 files changed, 4 insertions, 0 deletions
diff --git a/usb/edit-lens b/usb/edit-lens new file mode 120000 index 0000000..2f0ee77 --- /dev/null +++ b/usb/edit-lens | |||
| @@ -0,0 +1 @@ | |||
| ../edit-lens \ No newline at end of file | |||
diff --git a/usb/interactive-edit-lens b/usb/interactive-edit-lens new file mode 120000 index 0000000..4f2c064 --- /dev/null +++ b/usb/interactive-edit-lens | |||
| @@ -0,0 +1 @@ | |||
| ../interactive-edit-lens \ No newline at end of file | |||
diff --git a/usb/stack.nix b/usb/stack.nix new file mode 120000 index 0000000..300216a --- /dev/null +++ b/usb/stack.nix | |||
| @@ -0,0 +1 @@ | |||
| ../stack.nix \ No newline at end of file | |||
diff --git a/usb/stack.yaml b/usb/stack.yaml new file mode 120000 index 0000000..5dd555d --- /dev/null +++ b/usb/stack.yaml | |||
| @@ -0,0 +1 @@ | |||
| ../stack.yaml \ No newline at end of file | |||