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/main/java/com/galois/fiveui/BatchRunner.java | |
parent | 3ce47cad3750be90fc57110bb0a80456bf58dbba (diff) |
Wikipedia guideline: do not use inline styles
Diffstat (limited to 'src/batchtools/headless/src/main/java/com/galois/fiveui/BatchRunner.java')
0 files changed, 0 insertions, 0 deletions