| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| README.md | 2023-Dec-20 03:23:25 | 0.9K | text/markdown; charset=utf-8 |
| decimalcomma.dtx | 2023-Dec-30 16:43:06 | 9.3K | application/octet-stream |
| decimalcomma.ins | 2023-Dec-06 11:58:07 | 1.9K | application/x-internet-signup |
| decimalcomma.pdf | 2023-Dec-30 16:44:02 | 99.6K | application/pdf |