Bug fix: really remove killed buffers from the list of closed repls.
tree6be0b3b87596364d91942ef77c6303d8d92bba20
-rw-r--r-- 126 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 5037 README
drwxr-xr-x - elisp
drwxr-xr-x - scheme