|
|
342c337677
|
Separated org-mode files
|
2021-03-09 01:16:23 +01:00 |
|
|
|
8153b84c7b
|
Working on configure.org
|
2021-03-07 00:58:17 +01:00 |
|
|
|
5f2da3e9fa
|
Fixed website
|
2021-03-06 23:27:48 +01:00 |
|
|
|
dca597a3ab
|
Fixed doc creation
|
2021-03-06 19:46:27 +01:00 |
|
|
|
d7a922b24e
|
Added rename script
|
2021-03-06 14:47:11 +01:00 |
|
|
|
352679919e
|
Fix GH workflow
|
2020-11-07 16:11:34 +01:00 |
|
|
|
7e3d259c9d
|
Added emacs config file
|
2020-11-07 15:41:49 +01:00 |
|
Anthony Scemama
|
5cd333a7cd
|
Update config.el
|
2020-11-05 16:11:54 +01:00 |
|
|
|
69fa53c877
|
Modified script for colorized html
|
2020-11-05 15:53:28 +01:00 |
|
|
|
7df788b42a
|
Add publication of documentation on gh-pages
|
2020-10-29 00:20:20 +01:00 |
|
