chiark
/
gitweb
/
~mdw
/
mdwtools
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
ee65848
)
Release 1.8.2.
1.8.2
author
Mark Wooding
<mdw@distorted.org.uk>
Mon, 8 Jun 2020 15:41:58 +0000
(16:41 +0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Mon, 8 Jun 2020 15:41:58 +0000
(16:41 +0100)
debian/changelog
patch
|
blob
|
blame
|
history
diff --git
a/debian/changelog
b/debian/changelog
index ad30a4db7edf5ef239591484b443948224ac8daa..56b82894d08d9fde50412cb978943f14152a323e 100644
(file)
--- a/
debian/changelog
+++ b/
debian/changelog
@@
-1,3
+1,12
@@
+mdwtools (1.8.2) experimental; urgency=medium
+
+ * syntax: Inhibit ligatures in syntax shortcuts, so `<<' doesn't appear
+ as `«'.
+ * sverb: Include `\jobname' in temporary file names so that documents
+ can be formatted in parallel.
+
+ -- Mark Wooding <mdw@distorted.org.uk> Mon, 08 Jun 2020 16:41:36 +0100
+
mdwtools (1.8.1) experimental; urgency=medium
* Debianization.
mdwtools (1.8.1) experimental; urgency=medium
* Debianization.