albertel Thu Jun 5 20:42:05 2003 EDT Added files: /loncom/debugging_tools makecurrent Log: - script to make it easy to make a specif version to current one