diff options
| author | Guillermo Ramos | 2020-10-24 20:38:23 +0200 |
|---|---|---|
| committer | Guillermo Ramos | 2020-10-24 20:38:23 +0200 |
| commit | 01bb9c349b462040510657e1349414554208d7db (patch) | |
| tree | 0c52af3390e9e00a30f451c0ab8c4a3fed4c543d /manifest.sh | |
| parent | d78c7712df2f484e4b4bbca738bb93558d7bde33 (diff) | |
| download | gentoo-overlay-01bb9c349b462040510657e1349414554208d7db.tar.gz | |
Remove useless script
Diffstat (limited to 'manifest.sh')
| -rwxr-xr-x | manifest.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/manifest.sh b/manifest.sh deleted file mode 100755 index e16688e..0000000 --- a/manifest.sh +++ /dev/null @@ -1 +0,0 @@ -repoman manifest |