29 Jul
2015
29 Jul
'15
12:41 a.m.
It just occurred to me that GitHub won’t support svn:keywords such as $Date$ or $Rev$. Humans will probably adjust themselves but I don’t know whether any software piece in our (some) processing pipeline relies on this information? Best Peter