fi
# I use some features of GNU screen which are only in Git or very recent GNU
# screen versions. Drop them on machines which have older versions. They are
# marked as "(GIT)".
if test ! -d "$HOME/development/shell/screen"; then
echo screenrc: removing Git features
fi
# I use some features of GNU screen which are only in Git or very recent GNU
# screen versions. Drop them on machines which have older versions. They are
# marked as "(GIT)".
if test ! -d "$HOME/development/shell/screen"; then
echo screenrc: removing Git features