vlog.py: Remove redundant setLevel() if "/dev/log" doesn't exist.
[cascardo/ovs.git] / PORTING.md
2014-10-30 Thomas Grafdoc: Add more cross references between docs
2014-10-28 Thomas Grafdoc: Convert docs to Markdown language