chiark / gitweb /
chpwd: Set default config file from environment variable `CHPWD_CONFIG'.
[chopwood] / list.fhtml
index a1b3f2c286d2769b68c771986e634ba70d9dbe2d..3753313caef47422d6293adf25e8fca47d176829 100644 (file)
 </div>
 </div>
 
+<input type=hidden name=%user value="~={user}H">
 <input type=hidden name=%nonce value="~={nonce}H">
 </form>