diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2021-01-10 11:57:36 +0100 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2021-01-10 11:57:36 +0100 |
| commit | fa05535f6e2d0767f3605336c8bfee62ec56ac36 (patch) | |
| tree | cf819baf2281ee7f463fee552d1f1df2ec52ccd2 /gnu/packages/lean.scm | |
| parent | 6c1982d41c381b0f7d21e804b4bd480363686bf6 (diff) | |
gnu: emacs-auctex: Update to 13.0.3.
* gnu/packages/emacs-xyz.scm (emacs-auctex): Update to 13.0.3.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions