3 Commits

Author	SHA1	Message	Date
Anthony Scemama	5cd333a7cd	Update config.el	2020-11-05 16:11:54 +01:00
Anthony Scemama	69fa53c877	Modified script for colorized html	2020-11-05 15:53:28 +01:00
Anthony Scemama	7df788b42a	Add publication of documentation on gh-pages	2020-10-29 00:20:20 +01:00