Switch to edit mode.
Name(s): has_pueblo1: "Copied from snick (#8719):has_pueblo Jun 17 13:08:18 2000" 2: "Copied from programming util (#8030):has_pueblo by Russ (#5030)May 4 19:30:45 1999" 3: x = args[1] 4: if (x.pueblo_version == "") 5: return 0 6: else 7: return 1 8: endif