diff core/etc/profile @ 628:9a02e6680708

vanilla: use different header style
author David Demelier <markand@malikania.fr>
date Tue, 23 Jul 2019 22:35:00 +0200
parents 91df0731a3f5
children
line wrap: on
line diff
--- a/core/etc/profile	Tue Jul 23 22:31:00 2019 +0200
+++ b/core/etc/profile	Tue Jul 23 22:35:00 2019 +0200
@@ -1,5 +1,5 @@
 #
-# /etc/profile: system-wide defaults for shells
+# /etc/profile -- system-wide defaults for shells
 #
 
 export PATH="/bin:/local/bin"