[OT] Which IDE / Editor do you use?

[Walter Bright]

On 9/16/2013 8:02 AM, Jacob Carlborg wrote:
> On 2013-09-16 16:28, H. S. Teoh wrote:
>
>> Which reminds me... it's probably time to make backups of $HOME again...
>
> Just push them to internet and someone will make the backups for you :)

Since the taxpayers already pay for an NSA backup of all our files, I think they 
should kindly provide a restore service!