vericert-docs - Documentation for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Remove github link from websiteHEAD master	Yann Herklotz	2022-02-26	1	-7/+2
\|
*	Update the weight on the manual	Yann Herklotz	2022-02-26	1	-1/+1
\|
*	Add manual in the menu tab	Yann Herklotz	2022-02-26	1	-0/+5
\|
*	Add proper documentation	Yann Herklotz	2022-02-26	3	-575/+19
\|
*	Update name of content	Yann Herklotz	2022-02-26	2	-1/+1
\|
*	Remove gh-pages build from Github	Yann Herklotz	2022-02-23	1	-37/+0
\|
*	Merge commit '6f5f8eb927ba140a7700413332b4d1793e5ccddc' as 'themes/book'	Yann Herklotz	2022-02-23	215	-0/+6007
\|\
\| *	Squashed 'themes/book/' content from commit 98d19b8	Yann Herklotz	2022-02-23	215	-0/+6007
\| \| \| \| \|	git-subtree-dir: themes/book git-subtree-split: 98d19b8e95019534622fd4c5eae707423730df2c
*	Remove 'themes/book' submodule	Yann Herklotz	2022-02-23	2	-3/+0
\|
*	Move metadata into setup.org	Yann Herklotz	2022-02-23	1	-1/+1
\|
*	Update dependencies and remove --no-init	Yann Herklotz	2022-01-05	2	-2/+4
\|
*	Fix links again and add category	Yann Herklotz	2022-01-05	1	-4/+4
\|
*	Update the build script	Yann Herklotz	2022-01-04	1	-1/+1
\|
*	Try updating link	Yann Herklotz	2022-01-04	1	-2/+2
\|
*	Update publish.el with newer dependencies	Yann Herklotz	2022-01-04	1	-2/+3
\|
*	Remove link macro	Yann Herklotz	2022-01-04	2	-15/+9
\|
*	Update monospace font size	Yann Herklotz	2022-01-04	1	-0/+1
\|
*	Update location of content	Yann Herklotz	2022-01-04	1	-0/+4
\|
*	Update the theme	Yann Herklotz	2022-01-04	1	-0/+0
\|
*	Update colors some more	Yann Herklotz	2022-01-04	2	-16/+7
\|
*	Update CSS to make background lighter	Yann Herklotz	2022-01-04	2	-15/+15
\|
*	Add export with broken links	Yann Herklotz	2021-12-25	2	-2/+3
\|
*	Add .build.yml for sr.ht	Yann Herklotz	2021-12-25	1	-0/+23
\|
*	Add capitalisation	Yann Herklotz	2021-12-23	1	-2/+2
\|
*	Update documentation with new git repository	Yann Herklotz	2021-12-23	2	-2/+14
\|
*	Add creative commons license for content	Yann Herklotz	2021-12-09	1	-0/+395
\|
*	Add README	Yann Herklotz	2021-12-09	1	-0/+1
\|
*	Add aliases	Yann Herklotz	2021-10-09	1	-1/+1
\|
*	Update the date of the blog post	Yann Herklotz	2021-10-09	1	-1/+1
\|
*	Update link	Yann Herklotz	2021-10-09	1	-1/+1
\|
*	Update the paper with camera ready version	Yann Herklotz	2021-10-09	1	-0/+0
\|
*	Update custom css and add to readme	Yann Herklotz	2021-10-09	2	-1/+4
\|
*	Add first blog post	Yann Herklotz	2021-10-09	1	-3/+4
\|
*	Add to the svg	Yann Herklotz	2021-10-09	1	-1930/+1936
\|
*	Add more to blog post	Yann Herklotz	2021-10-07	1	-0/+88
\|
*	Add flow diagram	Yann Herklotz	2021-09-23	2	-3/+2531
\|
*	Add documentation.org	Yann Herklotz	2021-09-22	3	-9/+1234
\|
*	Edit the current list of features	Yann Herklotz	2021-09-20	1	-2/+2
\|
*	Remove external link	Yann Herklotz	2021-09-20	1	-1/+1
\|
*	Fix font size of figure captions	Yann Herklotz	2021-09-19	1	-0/+4
\|
*	Center all images	Yann Herklotz	2021-09-19	4	-1/+1256
\|
*	Update Vericert website	Yann Herklotz	2021-09-19	11	-41/+223
\|
*	Add custom_id to titles	Yann Herklotz	2021-09-19	2	-3/+5
\|
*	Add headers	Yann Herklotz	2021-09-19	2	-3/+7
\|
*	Merge branch 'master' of github.com:ymherklotz/vericert-docs into HEAD	Yann Herklotz	2021-09-19	1	-1/+1
\|\
\| *	Merge remote-tracking branch 'origin/master'	Yann Herklotz	2021-09-19	14	-24/+866
\| \|\
\| * \|	Add random	Yann Herklotz	2021-09-19	1	-1/+33
\| \| \|
* \| \|	Add factoring out of documentation	Yann Herklotz	2021-09-19	3	-119/+141
\| \|/ \|/\|
* \|	Remove org-contrib	Yann Herklotz	2021-09-15	1	-1/+0
\| \|
* \|	Fix github pages	Yann Herklotz	2021-09-15	2	-2/+1
\| \|