Re: [tei-council] Stylesheets in GLs repo?

If the majority is in favour of deletion rather than hiding under the sofa, do we have a consensus as to which of the items listed in my pedvious message on this thread should be deleted? and on the criteria for deletion? On 30/01/15 13:26, Peter Stadler wrote:

...

Am 30.01.2015 um 14:19 schrieb Majewski Stefan :

The one reason against deletion is, that it becomes a bit difficult to find deleted stuff in SVN. One way to make this easier would be to have a HISTORICAL_README with the deletions documented or, which I would prefer, a tag in the commit message saying "DELETE filename" (or maybe repopath). Then it is quite easy to spot deletions without having to svn diff. `svn log -v` will give you the information whether a file was added, modified or deleted …

Peter