> 2016-09-17 19:15 GMT+02:00 Uwe Brauer <o...@mat.ucm.es>:

   > The history of a repository is valuable, but flooding it with many
nitpicking

After pulling git --log tells me 

commit 3654a620e1d90d48b57c9fc212abd1833e816995
Author: Uwe <o...@mat.ucm.es>
Date:   Sat Sep 17 16:27:10 2016 +0000

What's with my family name? Don't I deserve that :-D


_______________________________________________
auctex-devel mailing list
auctex-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/auctex-devel

Reply via email to