aboutsummaryrefslogtreecommitdiff
path: root/src/set/gnunet-set-profiler.c
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2013-08-24 08:42:13 +0000
committerChristian Grothoff <christian@grothoff.org>2013-08-24 08:42:13 +0000
commit6db7b23f0be85c8fc263cb8380cb9a3d495be75a (patch)
tree09a673b8ef0f79a080595e6d0ff181b0f3dbc046 /src/set/gnunet-set-profiler.c
parentdf6facef1ea4d8dd7fe836d78473aa66270d6684 (diff)
downloadgnunet-6db7b23f0be85c8fc263cb8380cb9a3d495be75a.tar.gz
gnunet-6db7b23f0be85c8fc263cb8380cb9a3d495be75a.zip
-use GPLv3+ consistently
Diffstat (limited to 'src/set/gnunet-set-profiler.c')
-rw-r--r--src/set/gnunet-set-profiler.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/set/gnunet-set-profiler.c b/src/set/gnunet-set-profiler.c
index 46166a6a3..f19776f79 100644
--- a/src/set/gnunet-set-profiler.c
+++ b/src/set/gnunet-set-profiler.c
@@ -4,7 +4,7 @@
4 4
5 GNUnet is free software; you can redistribute it and/or modify 5 GNUnet is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published 6 it under the terms of the GNU General Public License as published
7 by the Free Software Foundation; either version 2, or (at your 7 by the Free Software Foundation; either version 3, or (at your
8 option) any later version. 8 option) any later version.
9 9
10 GNUnet is distributed in the hope that it will be useful, but 10 GNUnet is distributed in the hope that it will be useful, but