Skip to content

Commit

Permalink
Remove JML Markup
Browse files Browse the repository at this point in the history 
This JML markup is no longer maintained and/or used by the team. It's
not wired up to our build in any way so we fear that it's contributing
more to bitrot than providing reliable coverage.
  • Loading branch information
@geedo0 @WillChilds-Klein
geedo0 authored and WillChilds-Klein committed Sep 21, 2023
1 parent 5de55c4 commit 8c59f81
Show file tree
Hide file tree
Showing 4 changed files with 23 additions and 1,122 deletions.
Loading

0 comments on commit 8c59f81

Please sign in to comment.