diff options
Diffstat (limited to 'index/gen_leader.mk')
| -rw-r--r-- | index/gen_leader.mk | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/index/gen_leader.mk b/index/gen_leader.mk deleted file mode 100644 index 9eb4954..0000000 --- a/index/gen_leader.mk +++ /dev/null @@ -1,7 +0,0 @@ -PACKAGES += gen_leader -pkg_gen_leader_name = gen_leader -pkg_gen_leader_description = leader election behavior -pkg_gen_leader_homepage = https://github.com/garret-smith/gen_leader_revival -pkg_gen_leader_fetch = git -pkg_gen_leader_repo = https://github.com/garret-smith/gen_leader_revival -pkg_gen_leader_commit = master |