diff options
author | Benjamin Jones <bjones@galois.com> | 2013-07-03 09:45:49 -0700 |
---|---|---|
committer | Benjamin Jones <bjones@galois.com> | 2013-07-03 09:45:49 -0700 |
commit | 0f717faf40cd7ea6c28c407d0a517d730fc6591f (patch) | |
tree | ae4a0750d8e485bb9e02462d7b3b3e25d72fa080 /src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java | |
parent | 4e1f3f68a2e51f7841864bc1e74758629afee764 (diff) |
added headless run description for WCAG 2.0 rules
Diffstat (limited to 'src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java')
0 files changed, 0 insertions, 0 deletions