15 Jul
2008
15 Jul
'08
8:20 p.m.
New rule until 7.8 is shipped: Whenever you change documentation you MUST run "make doc" before checking it in.