History log of /seL4-l4v-master/HOL4/src/portableML/.gitignore
Revision Date Author Comments
# 87198bcf 12-Jan-2020 Michael Norrish <michael.norrish@data61.csiro.au>

Implement s-expression type for use in serialisation applications