always use .tmp extension for temporary files generated by make.
authorWolfram Schneider <wosch@indexdata.dk>
Fri, 4 Jul 2014 09:57:36 +0000 (11:57 +0200)
committerWolfram Schneider <wosch@indexdata.dk>
Fri, 4 Jul 2014 09:57:36 +0000 (11:57 +0200)
We used a mix of .tmp and .new, which is kinda confusing.


No differences found