> 2016-09-17 19:15 GMT+02:00 Uwe Brauer <[email protected]>: > The history of a repository is valuable, but flooding it with many nitpicking
After pulling git --log tells me commit 3654a620e1d90d48b57c9fc212abd1833e816995 Author: Uwe <[email protected]> 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 [email protected] https://lists.gnu.org/mailman/listinfo/auctex-devel
