diff options
Diffstat (limited to 'index/wrangler.mk')
-rw-r--r-- | index/wrangler.mk | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/index/wrangler.mk b/index/wrangler.mk new file mode 100644 index 0000000..e6bd979 --- /dev/null +++ b/index/wrangler.mk @@ -0,0 +1,7 @@ +PACKAGES += wrangler +pkg_wrangler_name = wrangler +pkg_wrangler_description = Import of the Wrangler svn repository. +pkg_wrangler_homepage = http://www.cs.kent.ac.uk/projects/wrangler/Home.html +pkg_wrangler_fetch = git +pkg_wrangler_repo = https://github.com/RefactoringTools/wrangler +pkg_wrangler_commit = master |