anonym wrote (23 Nov 2012 18:29:58 GMT) : > I definitely think we should remove it from .gitignore.
Done in devel, then. _______________________________________________ tails-dev mailing list [email protected] https://mailman.boum.org/listinfo/tails-dev
