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