Select the types of activity you want to include in your feed.
Merge pull request #122 from tbrk/nomerlin
Remove the .merlin file
authored by Jean-Christophe Filliatre and committed by GitHub 4 years ago 496c0d9a bd6c8ce2