Skip to content

Commit

Permalink
Adding a css file
Browse files Browse the repository at this point in the history
  • Loading branch information
davidcok committed Jul 13, 2020
1 parent 4b36780 commit 604bf4e
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions temp/DafnyRef.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,6 @@
}});
</script>

{::options toc_levels="1..4" ::}

# Dafny Reference Manual

Abstract:
Expand Down

0 comments on commit 604bf4e

Please sign in to comment.