5 Commits (fbc19236bdadc8da2ae9bddc9b6e7f36d6735b20)

Author	SHA1	Message	Date
Steve Clement	241a2e0993	chg: [shell] Added vague indicators where we are at in the build process. ... new: [plugin] Added last-modified plugin and explicitly the search plugin (for debugging)	2018-11-27 18:04:26 +09:00
Alexandre Dulaunoy	cb275cefdb	fix: [publish.sh] we use FQDN, we are in 2018.	2018-11-01 16:41:45 +01:00
Alexandre Dulaunoy	39feb95d48	chg: [publish] ensure permission of output is correct	2018-11-01 16:30:38 +01:00
Steve Clement	026f7f11b0	chg: [tools] Some mini-tweaks to the publish script.	2018-10-29 16:29:10 +09:00
Alexandre Dulaunoy	e4f1c42936	add: minimal publishing script	2017-08-25 07:15:26 +02:00