diff options
| author | Luke Shumaker <LukeShu@sbcglobal.net> | 2014-06-04 00:23:07 -0400 |
|---|---|---|
| committer | Luke Shumaker <LukeShu@sbcglobal.net> | 2014-06-04 00:23:07 -0400 |
| commit | d5902fc1e3c8b9cf8574b4cf61dc5a8ceae7fefc (patch) | |
| tree | baeaab1028b4b4fbd56dda7418f54882ebb8c640 /rules/jdom1-bootstrap/java6-regex.patch | |
| parent | 0492728b0c768cc704a6ba6b3360e43787313916 (diff) | |
It turns out the jdom1 and jdom2 APIs are different.
Diffstat (limited to 'rules/jdom1-bootstrap/java6-regex.patch')
| l--------- | rules/jdom1-bootstrap/java6-regex.patch | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rules/jdom1-bootstrap/java6-regex.patch b/rules/jdom1-bootstrap/java6-regex.patch new file mode 120000 index 0000000..c0ace28 --- /dev/null +++ b/rules/jdom1-bootstrap/java6-regex.patch @@ -0,0 +1 @@ +../jdom1/java6-regex.patch
\ No newline at end of file |