author | Adam Chlipala <adamc@hcoop.net> | |
Tue, 12 Dec 2006 03:55:45 +0000 (03:55 +0000) | ||
committer | Adam Chlipala <adamc@hcoop.net> | |
Tue, 12 Dec 2006 03:55:45 +0000 (03:55 +0000) | ||
commit | 6bf3314618cde83e75d7fdbe2835eb10effd09b2 | |
tree | faaf14b7d687ab01effdb6a1ff2b7f5c785b8cd4 | tree | snapshot (tar.gz zip) |
parent | 5815df566b01ebb035d8a16d374794e59ef106af | commit | diff |
scripts/domtool-reset-global | [new file with mode: 0644] | blob |
scripts/domtool-reset-local | [new file with mode: 0644] | blob |