diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-06-25 18:07:22 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-06-25 18:08:27 +0200 |
| commit | 7da98cf076e9c5101244dfbbf8c3ddff045d298e (patch) | |
| tree | db4b4b28d0864cf5f7d424c40f1e7f4d945ff726 /src/regex/.gitignore | |
| parent | b96052f1d3b8bb05f1868bd809fcb6e4f6569a4c (diff) | |
| download | gnunet-7da98cf076e9c5101244dfbbf8c3ddff045d298e.tar.gz gnunet-7da98cf076e9c5101244dfbbf8c3ddff045d298e.zip | |
integrate dnsparser and dnsstub and tun with libgnunetutil
Diffstat (limited to 'src/regex/.gitignore')
| -rw-r--r-- | src/regex/.gitignore | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/regex/.gitignore b/src/regex/.gitignore deleted file mode 100644 index 39dc89c88..000000000 --- a/src/regex/.gitignore +++ /dev/null | |||
| @@ -1,12 +0,0 @@ | |||
| 1 | perf-regex | ||
| 2 | gnunet-daemon-regexprofiler | ||
| 3 | gnunet-regex-profiler | ||
| 4 | gnunet-regex-simulation-profiler | ||
| 5 | gnunet-service-regex | ||
| 6 | test_graph.dot | ||
| 7 | test_regex_api | ||
| 8 | test_regex_eval_api | ||
| 9 | test_regex_graph_api | ||
| 10 | test_regex_integration | ||
| 11 | test_regex_iterate_api | ||
| 12 | test_regex_proofs | ||