diff xul/menu.js @ 173:a5300ee2a1fc

Servlet version 1.17b2 - new mapping file for "virtual directories" - direct file URLs now work without extension (even with wrong ones)
author robcast
date Mon, 10 Nov 2003 20:17:58 +0100
parents 041340d1b00e
children ecee3ff2f4d0
line wrap: on
line diff