search

BruceSherwood / glowscript

This repository has been moved to https://github.com/vpython/glowscript
50 stars 17 forks source link

Improve file rename option (sometimes displayed old file in addition … #176

Closed BruceSherwood closed 5 years ago

BruceSherwood commented 5 years ago

…to new)