>>>>> DGMS == Davide G M Salvetti [2014-11-19] [...]
DGMS> accordingly to Savannah's cgit global configuration, which I do DGMS> now know. s/now/not/ -- Sorry, Davide _______________________________________________ auctex-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/auctex-devel
