src: Fix some comments which referred to the old filenames.
[virt-top.git] / src / opt_xml.ml
2016-10-31 Richard W.M. JonesRename source directory and files.