diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-02-04 19:38:38 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-02-04 19:38:38 +0100 |
commit | 3039adb9578b01b3649c5c8ae5f4d6d8f8a7d51d (patch) | |
tree | 3e2db2300f3f613115c8c346e9503c6c28bedf8d /src/util/.gitignore | |
parent | 1ca80565458244e9a9622d65bd3953fa3478372a (diff) | |
download | gnunet-3039adb9578b01b3649c5c8ae5f4d6d8f8a7d51d.tar.gz gnunet-3039adb9578b01b3649c5c8ae5f4d6d8f8a7d51d.zip |
fix task prioritization with recent hack
Diffstat (limited to 'src/util/.gitignore')
-rw-r--r-- | src/util/.gitignore | 2 |
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 | |||
77 | gnunet-timeout | 77 | gnunet-timeout |
78 | python27_location | 78 | python27_location |
79 | perf_malloc | 79 | perf_malloc |
80 | perf_mq | ||
81 | perf_scheduler | ||