Merge branch 'master' into perso

Conflicts:
	.bashrc

diff --git a/.bashrc b/.bashrc
index 622af0e625b8f0256b8c31f54062690e0271edd9..8f68617810e629c4d2e83758dacb06a6a9be081a 100644 (file)
--- a/.bashrc
+++ b/.bashrc
@@ -299,6 +299,7 @@ function welcome_message ()
 ### ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ###
 ### Attention à ce que vous avez édité dans cette section ###
 
+
 # +---------------------------------------+
 # | Gestion de l'historique des commandes |
 # +---------------------------------------+