diff options
author | Gervase Markham <gerv@gerv.net> | 2014-02-10 18:10:12 +0100 |
---|---|---|
committer | Gervase Markham <gerv@mozilla.org> | 2014-02-10 18:10:12 +0100 |
commit | 1ef5cef33f37d5b7ca961e0e50836f307cf0c3f5 (patch) | |
tree | 8c44f6cc0675dfa3fcacd6df7b484aaaa280f610 /editflagtypes.cgi | |
parent | 1f815b55a63db41908d7fcf382705764b6b6a8bb (diff) | |
download | bugzilla-1ef5cef33f37d5b7ca961e0e50836f307cf0c3f5.tar.gz bugzilla-1ef5cef33f37d5b7ca961e0e50836f307cf0c3f5.tar.xz |
makedocs.pl should remove docs/en/doctrees after reST build is complete. r=LpSolit, a=justdave.
https://bugzilla.mozilla.org/show_bug.cgi?id=964540
Diffstat (limited to 'editflagtypes.cgi')
0 files changed, 0 insertions, 0 deletions