diff options
| author | Glenn Elliott <gelliott@cs.unc.edu> | 2012-09-08 10:26:00 -0400 |
|---|---|---|
| committer | Glenn Elliott <gelliott@cs.unc.edu> | 2012-09-08 10:26:00 -0400 |
| commit | d3c32e91e3fce2a57083a734efae6d9de06ec02f (patch) | |
| tree | 3db0224f6e9dba633c380556171d27bbafcb1776 /init | |
| parent | 077aaecac31331b65442275843932314049a2ceb (diff) | |
Fixed type-os and clarified text in litmus/Kconfig
Diffstat (limited to 'init')
0 files changed, 0 insertions, 0 deletions