Xi Ruoyao d6b45f7ae5 change egrep to grep -E ... egrep is deprecated since 2007, and the next grep release (3.8 or 4.0) will print a warning if it's used. Url: https://git.savannah.gnu.org/cgit/grep.git/commit/?id=a951562		2022-06-23 18:15:12 +08:00
..
qemu.xml	change egrep to grep -E	2022-06-23 18:15:12 +08:00
virtualization.xml	more SVN prop clean up	2021-04-20 19:12:02 +08:00