| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| DeadSea_newcode.mf | 54739 | 1994-Oct-25 08:00 | |
| Jerusalem_newcode.mf | 47879 | 1994-Oct-25 08:00 | |
| OldJaffa_newcode.mf | 49065 | 1994-Oct-25 08:00 | |
| TelAviv_newcode.mf | 40561 | 1994-Oct-25 08:00 | |
| redis10_newcode.mf | 2388 | 1992-Jun-14 07:00 | |
| redis12_newcode.mf | 2437 | 1992-Apr-16 07:00 | |
| redis17_newcode.mf | 2499 | 1992-Apr-16 07:00 | |
| redis8_newcode.mf | 2436 | 1992-Apr-16 07:00 | |
| redis9_newcode.mf | 2432 | 1992-Apr-16 07:00 | |
| redis_newcode.mf | 1152 | 1992-Jun-14 07:00 | |
| redisbx10_newcode.mf | 2473 | 1992-Apr-16 07:00 | |
| redisfont_newcode.mf | 8309 | 1992-Apr-16 07:00 | |
| rediss10_newcode.mf | 2390 | 1992-Apr-16 07:00 | |
| rediss12_newcode.mf | 2442 | 1992-Apr-16 07:00 | |
| rediss8_newcode.mf | 2442 | 1992-Apr-16 07:00 | |
| rediss9_newcode.mf | 2437 | 1992-Apr-16 07:00 | |