Skip to main content

Browse the archive

Revision ad253b1399e9ca4081c058624f814ed95cfeac21 authored by Raphael Cauderlier on 28 February 2019, 12:22:14 UTC, committed by Raphael Cauderlier on 12 March 2019, 14:36:44 UTC 
Add a NOOP instruction doing nothing (written {} in Micheline)
1 parent c1509d2
Raw File
.gitignore 
# General
.depend
.bkp/

# Coq
*.aux
*.glob
*.vo

# LaTeX
*.tex
*.vrb
*.toc
*.toc
*.snm
*.out
*.nav
*.aux
*.log
# we keep *.pdf to ease sharing of slides
notes.*
back to top