diff options
| author | Dimitri Staessens <[email protected]> | 2019-07-07 12:22:18 +0200 |
|---|---|---|
| committer | Dimitri Staessens <[email protected]> | 2019-07-07 12:22:18 +0200 |
| commit | 4d84c2a622929d6ff5ab7f40697bc4e47f76e057 (patch) | |
| tree | 56ad8beed3d1bb23a8d042a9c256bb69773ce03b /themes/terrassa/usage.sh | |
| parent | c14c4165ea95bf60b2f90974905a85be5f7d9919 (diff) | |
| download | website-4d84c2a622929d6ff5ab7f40697bc4e47f76e057.tar.gz website-4d84c2a622929d6ff5ab7f40697bc4e47f76e057.zip | |
themes: Remove terrassa theme
Diffstat (limited to 'themes/terrassa/usage.sh')
| -rwxr-xr-x | themes/terrassa/usage.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/themes/terrassa/usage.sh b/themes/terrassa/usage.sh deleted file mode 100755 index 23d8d60..0000000 --- a/themes/terrassa/usage.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/bash - -make build -make docker-nc -make run
\ No newline at end of file |