yannherklotz.com - Personal website hosted at https://yannherklotz.com.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update the oopsla paper	Yann Herklotz	2021-10-07	1	-0/+0
\|
*	Remove vericert blog post	Yann Herklotz	2021-10-07	1	-47/+0
\|
*	Don't prompt for evaluating code	Yann Herklotz	2021-09-17	1	-1/+2
\|
*	Put function into publish	Yann Herklotz	2021-09-17	2	-9/+7
\|
*	Update theme	Yann Herklotz	2021-09-17	1	-5/+5
\|
*	Merge branch 'dev'	Yann Herklotz	2021-09-17	2	-26/+35
\|\
\| *	Export the header into setup.org	Yann Herklotz	2021-09-17	2	-25/+25
\| \|
\| *	Fix links in content.org	Yann Herklotz	2021-09-17	1	-23/+20
\| \|
\| *	Add content.org link changes	Yann Herklotz	2021-09-17	1	-15/+24
\| \|
* \|	Fix links in content.org	Yann Herklotz	2021-09-17	1	-23/+20
\| \|
* \|	Update syntax highlighting colours	Yann Herklotz	2021-09-17	1	-3/+3
\| \|
* \|	Merge remote-tracking branch 'origin/master'	Yann Herklotz	2021-09-17	6	-31/+208
\|\\|
\| *	Fix syntax highlighting	Yann Herklotz	2021-09-14	4	-29/+202
\| \|
\| *	Update theme	Yann Herklotz	2021-09-14	1	-5/+5
\| \|
\| *	Add to .gitignore	Yann Herklotz	2021-09-14	1	-0/+1
\| \|
\| *	Merge branch 'master' of gitlab.com:ymherklotz/shiny-new-website	Yann Herklotz	2021-09-14	21	-151/+60
\| \|\
\| * \|	Set no classes	Yann Herklotz	2021-09-14	1	-0/+3
\| \| \|
* \| \|	Add news about presenting at chalmers	Yann Herklotz	2021-09-17	1	-0/+4
\| \|/ \|/\|
* \|	Add new theme	Yann Herklotz	2021-09-14	1	-5/+5
\| \|
* \|	Adding camera ready version of paper	Yann Herklotz	2021-09-13	1	-0/+0
\| \|
* \|	Update redirects	Yann Herklotz	2021-09-11	17	-148/+31
\| \|
* \|	Add draft	Yann Herklotz	2021-09-11	1	-1/+1
\| \|
* \|	Update baseurl	Yann Herklotz	2021-09-11	1	-1/+1
\| \|
* \|	Update theme	Yann Herklotz	2021-09-11	1	-5/+5
\| \|
* \|	Update baseurl	Yann Herklotz	2021-09-11	2	-6/+6
\| \|
* \|	Add base url	Yann Herklotz	2021-09-11	1	-1/+1
\| \|
* \|	Make CI pass	Yann Herklotz	2021-09-11	2	-6/+2
\| \|
* \|	Add emacs	Yann Herklotz	2021-09-11	2	-0/+17
\| \|
* \|	Add gitlab yml	Yann Herklotz	2021-09-11	1	-0/+13
\| \|
* \|	Update gitmodules	Yann Herklotz	2021-09-11	1	-1/+1
\| \|
* \|	Update submodule	Yann Herklotz	2021-09-11	1	-5/+5
\|/
*	Fix indentation	Yann Herklotz	2021-09-10	1	-509/+372
\|
*	Update gitmodule	Yann Herklotz	2021-09-10	1	-5/+5
\|
*	Fix the content indentation	Yann Herklotz	2021-09-10	1	-5/+14
\|
*	Fix the toml file for cross-platform	Yann Herklotz	2021-09-10	1	-11/+11
\|
*	Add gitmodule	Yann Herklotz	2021-09-10	2	-0/+9
\|
*	Update content	Yann Herklotz	2021-09-10	3	-90/+106
\|
*	Add redirects	Yann Herklotz	2021-09-10	15	-0/+120
\|
*	Add initial files	Yann Herklotz	2021-09-02	57	-0/+1989