Archives
Archives
| From: | Ulrich Mueller <ulm@g.o> | ||
|---|---|---|---|
| To: | gentoo-pms@l.g.o | ||
| Subject: | Re: [gentoo-pms] Added explicit optional star in atoms | ||
| Date: | Fri, 09 Mar 2018 10:35:32 | ||
| Message-Id: | 23202.25453.841422.412176@a1i15.kph.uni-mainz.de | ||
| In Reply to: | Re: [gentoo-pms] Added explicit optional star in atoms by Michael Lienhardt |
||
| 1 | >>>>> On Fri, 9 Mar 2018, Michael Lienhardt wrote: |
| 2 | |
| 3 | > Where is the latex source file? |
| 4 | |
| 5 | https://gitweb.gentoo.org/proj/pms.git (master branch) |
| Subject | Author |
|---|---|
| Re: [gentoo-pms] Added explicit optional star in atoms | Michael Lienhardt <michael.lienhardt@×××××××.net> |