Update gist.rcp #842

Merged
merged 3 commits into from Aug 30, 2012

Projects

None yet

3 participants

Collaborator
tkf commented Aug 22, 2012

No description provided.

Owner
dimitri commented Aug 22, 2012

I'm not sure that's redundant, this website property, really. I would merge your pull request if it wasn't for deleting that useful line (it allows user to browse the thing before installing it).

Collaborator
tkf commented Aug 22, 2012

I think website property is automatically generated for github type recipe.

@tkf tkf referenced this pull request Aug 29, 2012
Merged

new recipe: langtool #852

Contributor

I agree with @tkf and I thing this should be merged and closed.

@dimitri dimitri merged commit 91acd70 into dimitri:master Aug 30, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment