albert 6927d07bc2 indicate when pools are deleted

2013-02-23 16:07:06 -05:00

..

javascripts

fixes #547

2013-02-23 12:36:45 -05:00

stylesheets

indicate when pools are deleted

2013-02-23 16:07:06 -05:00