[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[AUCTeX] "TeX-command-extra-options" has no effect
From: |
Janusz S. Bien |
Subject: |
[AUCTeX] "TeX-command-extra-options" has no effect |
Date: |
Sun, 22 May 2016 09:02:58 +0200 |
User-agent: |
Internet Messaging Program (IMP) H3 (4.3.10) |
I would like to draw your attention to my bug report
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=824945
Best regards
Janusz
--
Prof. dr hab. Janusz S. Bień - Uniwersytet Warszawski (Katedra
Lingwistyki Formalnej)
Prof. Janusz S. Bień - University of Warsaw (Formal Linguistics Department)
address@hidden, address@hidden, http://fleksem.klf.uw.edu.pl/~jsbien/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [AUCTeX] "TeX-command-extra-options" has no effect,
Janusz S. Bien <=