Select Git revision
editfile.js
-
Rob Swindell authoredRob Swindell authored
editfile.js 102 B
// $Id: editfile.js,v 1.1 2020/03/28 22:20:36 rswindell Exp $
if(argv[0])
console.editfile(argv[0]);// $Id: editfile.js,v 1.1 2020/03/28 22:20:36 rswindell Exp $
if(argv[0])
console.editfile(argv[0]);