Added possibility to add local configuration files

Configuration files ending in ".local" will not be tracked by git

Added possibility to add local configuration files
58ea2100 · Giovanni Bussi · a00f991b · 58ea2100 · 58ea2100
Commit 58ea2100 authored 12 years ago by Giovanni Bussi
--- a/configurations/.gitignore
+++ b/configurations/.gitignore
+/*.local
--- a/configurations/README
+++ b/configurations/README
+Configuration files ending with ".local" will not be tracked by git.
+This might be useful to maintain local configurations.