diff options
| author |  Jesse Hallett <jesse@galois.com> | 2013-12-23 16:11:30 -0800 |
|---|---|---|
| committer | Jesse Hallett <jesse@galois.com> | 2013-12-23 16:11:30 -0800 |
| commit | 6d63c61bb97591c0e97f00e606468754f6180b80 (patch) | |
| tree | c89e3604ae6c747165ebc6ce87ab64228f738888 /src/batchtools/headless/src/test/java/com/galois/fiveui/ReporterTest.java | |
| parent | 3ce47cad3750be90fc57110bb0a80456bf58dbba (diff) | |
Wikipedia guideline: do not use inline styles
Diffstat (limited to 'src/batchtools/headless/src/test/java/com/galois/fiveui/ReporterTest.java')
0 files changed, 0 insertions, 0 deletions