commit | 67feec8c93c35add4ca4ea4516b56988e39c0b82 | [log] [tgz] |
---|---|---|
author | Martin v. Löwis <martin@v.loewis.de> | Sat Dec 13 14:07:35 2008 +0000 |
committer | Martin v. Löwis <martin@v.loewis.de> | Sat Dec 13 14:07:35 2008 +0000 |
tree | c08488740381de54f61ecbd079953192a0208218 | |
parent | 3f122784a35b5a60fac3e946d1a99941b3f116c9 [diff] |
Issue #4446: Add platforms keyword.
diff --git a/Doc/dist/dist.tex b/Doc/dist/dist.tex index aa063f9..32a39c1 100644 --- a/Doc/dist/dist.tex +++ b/Doc/dist/dist.tex
@@ -866,6 +866,8 @@ {URL}{(4)} \lineiv{classifiers}{a list of classifiers} {list of strings}{(4)} + \lineiv{platforms}{a list of platforms} + {list of strings}{} \end{tableiv} \noindent Notes: