annotate profiles/repo_name @ 379:8d5629e582b5

add a USE flag for enabling plugins
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 03 Mar 2015 16:09:31 +0100
parents 1d5589cb15a6
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
213
1d5589cb15a6 change repo name
holger
parents: 44
diff changeset
1 local