diff options
author | EuAndreh <eu@euandre.org> | 2019-05-17 22:42:07 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2019-05-17 22:42:07 -0300 |
commit | b21388664d21efe2551067caf9527442c2529f93 (patch) | |
tree | 5a81b82b3eac4778fa0379c3136f8e62082e550e /bash | |
parent | newsboat/urls. (diff) | |
download | dotfiles-b21388664d21efe2551067caf9527442c2529f93.tar.gz dotfiles-b21388664d21efe2551067caf9527442c2529f93.tar.xz |
Revert "Remove mentat from $SRHT_REPOS."
This reverts commit 50149aa073e3977205d8952799107992e7990910.
Diffstat (limited to 'bash')
-rw-r--r-- | bash/fake-symlinks.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bash/fake-symlinks.sh b/bash/fake-symlinks.sh index 55ec8d4..c06319b 100644 --- a/bash/fake-symlinks.sh +++ b/bash/fake-symlinks.sh @@ -5,7 +5,7 @@ if [[ -n "$GITHUB_TOKEN" ]]; then fi -SRHT_REPOS=(website cement) +SRHT_REPOS=(website mentat cement) SRHT_REPOS_PATH="$HOME/dev/libre" for repo in "${SRHT_REPOS[@]}"; do |