Files

_includes

Enable syntax highlighting with rouge

May 6, 2021

8f25ef9 · May 6, 2021

This branch is 256 commits ahead of, 88 commits behind MiniZinc/minizinc.github.io:main.

Name		Name	Last commit message	Last commit date
parent directory ..
bug.html		bug.html	Website overhaul	Oct 22, 2016
bug_doc.html		bug_doc.html	Release 2.4.0	Dec 13, 2019
bug_ide.html		bug_ide.html	Release 2.4.0	Dec 13, 2019
footer.html		footer.html	Add 2020	Jun 23, 2020
head.html		head.html	Enable syntax highlighting with rouge	May 6, 2021
header.html		header.html	Redirect to external forum rather than embedding	Apr 16, 2020
pub.html		pub.html	Add publication pdfs	Jul 15, 2019