search

ZeusWPI / gamification

Gamification of Zeus member engagement. Replaced by gamification2
https://github.com/ZeusWPI/gamification2
MIT License
4 stars 5 forks source link

Add repository selector in issue index. #9

Closed iasoon closed 9 years ago

iasoon commented 9 years ago

We have a search bar now, which is better.