You can get the contents of this directory bundled as a zip file.
| Identifier | Caption |
|---|---|
| badge | Print badge labels. |
| Name | Size* | Date UTC | Notes |
|---|---|---|---|
| addresses.tex | 1 KiB | 1991-Jun-15 | |
| badges.ps | 31 KiB | 1991-Jun-15 | |
| badges.readme | 2 KiB | 1992-Aug-27 | |
| badges.tex | 2 KiB | 1991-Jun-15 |
*File sizes in kibibytes.