![[ICO]](/icons/blank.png){kind=icon}
![[DIR]](/icons/back.png){kind=icon}
![[DIR]](/icons/folder.png){kind=icon}
![[TXT]](/icons/text.png){kind=icon}
![[ ]](/icons/unknown.png){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| backup/ | 22-Nov-2009 09:02 | - | |
| decimalised.html | 22-Nov-2009 09:02 | 185K | |
| decimalised.nt | 22-Nov-2009 09:02 | 1.1M | |
| decimalised.rdf | 22-Nov-2009 09:02 | 470K | |
| make.pl.html | 20-Aug-2009 11:26 | 50K | |
| make.pl.txt | 22-Nov-2009 09:02 | 13K | |