Replacement MR for defunct MR13
Compare changes
Files
3- Noe Nieto authored
Rename vm to box on message strings and comments; update and rework docs with new names. Related to !13 and
@@ -36,7 +36,7 @@
@@ -57,6 +57,22 @@
@@ -84,10 +100,16 @@