[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [AUCTeX-devel] [PATCH] auto-save the value of `TeX-command-extra-opt
|
From: |
Mosè Giordano |
|
Subject: |
Re: [AUCTeX-devel] [PATCH] auto-save the value of `TeX-command-extra-options' |
|
Date: |
Wed, 13 Apr 2016 21:06:20 +0200 |
Hi Matt,
2016-04-13 20:09 GMT+02:00 Matthew Leach <address@hidden>:
> Hi all,
>
> Please see the attached patch that saves the value of
> `TeX-command-extra-options' to the auto-save file so it gets set
> project-wide.
Looks good, go ahead.
Thanks,
Mosè