Author: jng Date: 2020-11-28 04:53:47 -0800 (Sat, 28 Nov 2020) New Revision: 9812 Added: sandbox/jng/vanilla_swig/Portable/ Removed: sandbox/jng/vanilla_swig/Desktop/ Log: Rename Desktop to Portable