From 7df7f3b427739ff7d69da2ba218da0124822892c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Javier=20Jard=C3=B3n?= <jjardon@gnome.org>
Date: Sun, 26 Nov 2017 23:39:48 +0000
Subject: Remove all .morph files and files from the old format

---
 install-files/essential-files/etc/profile | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 install-files/essential-files/etc/profile

(limited to 'install-files/essential-files/etc/profile')

diff --git a/install-files/essential-files/etc/profile b/install-files/essential-files/etc/profile
deleted file mode 100644
index 5c0a1331..00000000
--- a/install-files/essential-files/etc/profile
+++ /dev/null
@@ -1,13 +0,0 @@
-# /etc/profile
-
-# Set our default path
-PATH="/usr/local/bin:/usr/bin"
-export PATH
-
-# Source global bash config
-if test "$PS1" && test "$BASH" && test -r /etc/bash.bashrc; then
-        . /etc/bash.bashrc
-fi
-
-# Set default pager to less
-export MANPAGER='less -R'
-- 
cgit v1.2.1