Hans-Christoph Steiner 99d0c55fe9 Merge branch 'support-vagrant-cachier' into 'master' ... Add optional support for vagrant-cachier plugin Building the basebox is excruciating for people on slow connections. I'm particularly sensitive to this after living in Central America for awhile :) This won't affect anyone who hasn't installed the plugin. For those who do, it creates a persistent shared folder for each box (ie. testing23.box) and detects directories to cache between VM builds (apt, gems, pip, chef cache, etc.) (The only downside is that, for those following server setup does who are not aware what vagrant-cachier does, it might be unexpected that artifacts persist between vagrant destroys.) See merge request !25		2015-08-26 12:44:36 +00:00
..
.gitignore	Fix makebuildserver after rename, tidy gitignores	2013-12-30 17:18:45 +01:00
fdl.texi	Move docs to docs directory, and generate HTML	2012-02-23 14:32:35 +00:00
fdroid.texi	Merge branch 'support-vagrant-cachier' into 'master'	2015-08-26 12:44:36 +00:00
gendocs_template	Update gendocs from 2011-04 to 2013-02	2013-12-30 16:33:42 +01:00
gendocs.sh	do not include timestamps in .gz files of docs	2014-10-23 14:26:11 -04:00
index_versions.md	Bump index version to 11, add index version changelog	2014-01-07 17:59:02 +01:00
update.sh	Docs for importing	2012-02-27 20:38:00 +00:00