diff --git a/options/mbp-mtishmack.americas.cray.com.el b/options/mbp-mtishmack.americas.cray.com.el deleted file mode 120000 index e38e09b..0000000 --- a/options/mbp-mtishmack.americas.cray.com.el +++ /dev/null @@ -1 +0,0 @@ -mbp-mtishmack.local.el \ No newline at end of file