aboutsummaryrefslogtreecommitdiff
path: root/src/util/.gitignore
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2020-02-04 19:38:38 +0100
committerChristian Grothoff <christian@grothoff.org>2020-02-04 19:38:38 +0100
commit3039adb9578b01b3649c5c8ae5f4d6d8f8a7d51d (patch)
tree3e2db2300f3f613115c8c346e9503c6c28bedf8d /src/util/.gitignore
parent1ca80565458244e9a9622d65bd3953fa3478372a (diff)
downloadgnunet-3039adb9578b01b3649c5c8ae5f4d6d8f8a7d51d.tar.gz
gnunet-3039adb9578b01b3649c5c8ae5f4d6d8f8a7d51d.zip
fix task prioritization with recent hack
Diffstat (limited to 'src/util/.gitignore')
-rw-r--r--src/util/.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/util/.gitignore b/src/util/.gitignore
index 84c13708e..05f187869 100644
--- a/src/util/.gitignore
+++ b/src/util/.gitignore
@@ -77,3 +77,5 @@ test_tun
77gnunet-timeout 77gnunet-timeout
78python27_location 78python27_location
79perf_malloc 79perf_malloc
80perf_mq
81perf_scheduler