Makarius wrote:
Of course, heaps produced inside the repository file space like that must
not be committed.
We might want to add an .hgignore file and put ^heaps/ in it. This should at
least make accidental commits less likely.
Gerwin
Makarius wrote:
It is already there, together with some other things that people tend to
commit by accident:
Too fast for me ;-)
Gerwin
Tjark Weber wrote:
On Tue, 2008-12-02 at 22:09 +0100, Makarius wrote:
With Mercurial you have the whole history always around, and there is no
need to encode (tiny) parts of it in the file.
Certainly $Id$ keys are rather useless as long as the file is part of a
managed repository.
They have been on my get-rid-of list for some time, but when I initially
tried, I noticed they were needed for doing arithmetic. Now that
somebody (Florian?) added less_int_code, it may indeed be a simple job.
Go for it!
Tobias
Brian Huffman schrieb:
Is there any good reason why the constants
: OpenPGP digital signature
URL:
https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20081203/850e8800/attachment.pgp