Merge branch 'master' into HEAD

Joel Grunbaum

2020-10-18 0053450271e6282473be02d80653f3780c3df76d

 .gitignore

@@ -1,14 +1,5 @@
*~
config.el
elpa/*
eshell/*
semanticdb/*
url/*
srecode-map.el
.last-package-update-day
ede-projects.el
network-security.data
projectile-bookmarks.eld
projectile.cache
recentf
irony*/
/*

!config.org

!init.el

!.gitignore

!snippets