GitHub - jfmc/jfmc.github.io: website

Name	Name	Last commit message	Last commit date
Latest commit jfmc Updated Mar 12, 2020 fd22a9b · Mar 12, 2020 History 10 Commits
css	css	Updated	Mar 12, 2020
fonts	fonts	Updated	Apr 7, 2016
js	js	Updated	Mar 12, 2020
ciao-htmlfontify.css	ciao-htmlfontify.css	Updated	Apr 7, 2016
contact.html	contact.html	Updated	Mar 12, 2020
index.html	index.html	Updated	Mar 12, 2020
indexsearch.html	indexsearch.html	Updated	Mar 12, 2020
lpdoc-aux.js	lpdoc-aux.js	Updated	Mar 12, 2020
lpdoc.css	lpdoc.css	Updated	Apr 7, 2016
publications.html	publications.html	Updated	Mar 12, 2020