Subject: [Instant-dev] Clean

From: Anders Logg <[email-masked]>
Date: Sun, 30 Dec 2007 10:15:20 +0100

Maybe Instant could include a script named instant-clean (or similar).
Just something like

  #!/bin/sh

  echo 'Removing temporary Instant files'
  rm -r /tmp/instant /home/$HOME/.instant

?

-- 
Anders