aboutsummaryrefslogtreecommitdiff
path: root/src/regex
diff options
context:
space:
mode:
authorpsyc://loupsycedyglgamf.onion/~lynX <ircs://psyced.org/youbroketheinternet>2018-06-07 15:23:35 +0000
committerpsyc://loupsycedyglgamf.onion/~lynX <ircs://psyced.org/youbroketheinternet>2018-06-07 15:23:35 +0000
commit4e2504a967ba09643c6dd7e3b9ce400e30adcb3d (patch)
treee08c345fda4d0592f1f565c40d4cd5ce749515dc /src/regex
parent2cdccc796f93117f5c74ec3b586f7654307b02e0 (diff)
downloadgnunet-4e2504a967ba09643c6dd7e3b9ce400e30adcb3d.tar.gz
gnunet-4e2504a967ba09643c6dd7e3b9ce400e30adcb3d.zip
paragraph for gnunet devs that don't know how to use the web
Diffstat (limited to 'src/regex')
-rw-r--r--src/regex/gnunet-daemon-regexprofiler.c3
-rw-r--r--src/regex/gnunet-regex-profiler.c3
-rw-r--r--src/regex/gnunet-regex-simulation-profiler.c3
-rw-r--r--src/regex/gnunet-service-regex.c3
-rw-r--r--src/regex/perf-regex.c3
-rw-r--r--src/regex/plugin_block_regex.c3
-rw-r--r--src/regex/regex_api_announce.c3
-rw-r--r--src/regex/regex_api_search.c3
-rw-r--r--src/regex/regex_block_lib.c3
-rw-r--r--src/regex/regex_block_lib.h3
-rw-r--r--src/regex/regex_internal.c3
-rw-r--r--src/regex/regex_internal.h3
-rw-r--r--src/regex/regex_internal_dht.c3
-rw-r--r--src/regex/regex_internal_lib.h3
-rw-r--r--src/regex/regex_ipc.h3
-rw-r--r--src/regex/regex_test_graph.c3
-rw-r--r--src/regex/regex_test_lib.c3
-rw-r--r--src/regex/regex_test_lib.h3
-rw-r--r--src/regex/regex_test_random.c3
-rw-r--r--src/regex/test_regex_api.c3
-rw-r--r--src/regex/test_regex_eval_api.c3
-rw-r--r--src/regex/test_regex_graph_api.c3
-rw-r--r--src/regex/test_regex_integration.c3
-rw-r--r--src/regex/test_regex_iterate_api.c3
-rw-r--r--src/regex/test_regex_proofs.c3
25 files changed, 75 insertions, 0 deletions
diff --git a/src/regex/gnunet-daemon-regexprofiler.c b/src/regex/gnunet-daemon-regexprofiler.c
index d6e26bd1b..11c2f513a 100644
--- a/src/regex/gnunet-daemon-regexprofiler.c
+++ b/src/regex/gnunet-daemon-regexprofiler.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15 18
16/** 19/**
diff --git a/src/regex/gnunet-regex-profiler.c b/src/regex/gnunet-regex-profiler.c
index 2fe3a0873..f65ba3db1 100644
--- a/src/regex/gnunet-regex-profiler.c
+++ b/src/regex/gnunet-regex-profiler.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15 18
16/** 19/**
diff --git a/src/regex/gnunet-regex-simulation-profiler.c b/src/regex/gnunet-regex-simulation-profiler.c
index 40ae9befb..b7e256f48 100644
--- a/src/regex/gnunet-regex-simulation-profiler.c
+++ b/src/regex/gnunet-regex-simulation-profiler.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15 18
16 19
diff --git a/src/regex/gnunet-service-regex.c b/src/regex/gnunet-service-regex.c
index 3e474e2fa..eb10e7c07 100644
--- a/src/regex/gnunet-service-regex.c
+++ b/src/regex/gnunet-service-regex.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15 18
16/** 19/**
diff --git a/src/regex/perf-regex.c b/src/regex/perf-regex.c
index 35b680993..b507e75b0 100644
--- a/src/regex/perf-regex.c
+++ b/src/regex/perf-regex.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15 18
16/** 19/**
diff --git a/src/regex/plugin_block_regex.c b/src/regex/plugin_block_regex.c
index fc12495dd..76045efcd 100644
--- a/src/regex/plugin_block_regex.c
+++ b/src/regex/plugin_block_regex.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15 18
16/** 19/**
diff --git a/src/regex/regex_api_announce.c b/src/regex/regex_api_announce.c
index 73be72940..e3ad70c6a 100644
--- a/src/regex/regex_api_announce.c
+++ b/src/regex/regex_api_announce.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15/** 18/**
16 * @file regex/regex_api_announce.c 19 * @file regex/regex_api_announce.c
diff --git a/src/regex/regex_api_search.c b/src/regex/regex_api_search.c
index 4c41adc21..2e2536a02 100644
--- a/src/regex/regex_api_search.c
+++ b/src/regex/regex_api_search.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15/** 18/**
16 * @file regex/regex_api_search.c 19 * @file regex/regex_api_search.c
diff --git a/src/regex/regex_block_lib.c b/src/regex/regex_block_lib.c
index fa847493a..33eaf466f 100644
--- a/src/regex/regex_block_lib.c
+++ b/src/regex/regex_block_lib.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15/** 18/**
16 * @author Bartlomiej Polot 19 * @author Bartlomiej Polot
diff --git a/src/regex/regex_block_lib.h b/src/regex/regex_block_lib.h
index 81e6da1d3..c5f5f31c0 100644
--- a/src/regex/regex_block_lib.h
+++ b/src/regex/regex_block_lib.h
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15 18
16/** 19/**
diff --git a/src/regex/regex_internal.c b/src/regex/regex_internal.c
index ea5bca9a9..944ca9bb9 100644
--- a/src/regex/regex_internal.c
+++ b/src/regex/regex_internal.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15/** 18/**
16 * @file src/regex/regex_internal.c 19 * @file src/regex/regex_internal.c
diff --git a/src/regex/regex_internal.h b/src/regex/regex_internal.h
index 28a999da6..d52479ffe 100644
--- a/src/regex/regex_internal.h
+++ b/src/regex/regex_internal.h
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15/** 18/**
16 * @file src/regex/regex_internal.h 19 * @file src/regex/regex_internal.h
diff --git a/src/regex/regex_internal_dht.c b/src/regex/regex_internal_dht.c
index 50bc3ceae..2555ef1df 100644
--- a/src/regex/regex_internal_dht.c
+++ b/src/regex/regex_internal_dht.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15/** 18/**
16 * @file src/regex/regex_internal_dht.c 19 * @file src/regex/regex_internal_dht.c
diff --git a/src/regex/regex_internal_lib.h b/src/regex/regex_internal_lib.h
index aca97cd3e..dc194546d 100644
--- a/src/regex/regex_internal_lib.h
+++ b/src/regex/regex_internal_lib.h
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15/** 18/**
16 * @file regex/regex_internal_lib.h 19 * @file regex/regex_internal_lib.h
diff --git a/src/regex/regex_ipc.h b/src/regex/regex_ipc.h
index 769a2e4b1..71ac273cd 100644
--- a/src/regex/regex_ipc.h
+++ b/src/regex/regex_ipc.h
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15/** 18/**
16 * @file regex/regex_ipc.h 19 * @file regex/regex_ipc.h
diff --git a/src/regex/regex_test_graph.c b/src/regex/regex_test_graph.c
index 4d8c32f29..d8f16e894 100644
--- a/src/regex/regex_test_graph.c
+++ b/src/regex/regex_test_graph.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15/** 18/**
16 * @file src/regex/regex_test_graph.c 19 * @file src/regex/regex_test_graph.c
diff --git a/src/regex/regex_test_lib.c b/src/regex/regex_test_lib.c
index 84eebcb1c..d25799ea4 100644
--- a/src/regex/regex_test_lib.c
+++ b/src/regex/regex_test_lib.c
@@ -11,6 +11,9 @@
11 * WITHOUT ANY WARRANTY; without even the implied warranty of 11 * WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 * Affero General Public License for more details. 13 * Affero General Public License for more details.
14 *
15 * You should have received a copy of the GNU Affero General Public License
16 * along with this program. If not, see <http://www.gnu.org/licenses/>.
14 */ 17 */
15/** 18/**
16 * @file src/regex/regex_test_lib.c 19 * @file src/regex/regex_test_lib.c
diff --git a/src/regex/regex_test_lib.h b/src/regex/regex_test_lib.h
index 7d7867f38..533ba3efb 100644
--- a/src/regex/regex_test_lib.h
+++ b/src/regex/regex_test_lib.h
@@ -11,6 +11,9 @@
11 * WITHOUT ANY WARRANTY; without even the implied warranty of 11 * WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 * Affero General Public License for more details. 13 * Affero General Public License for more details.
14 *
15 * You should have received a copy of the GNU Affero General Public License
16 * along with this program. If not, see <http://www.gnu.org/licenses/>.
14 */ 17 */
15/** 18/**
16 * @file src/regex/regex_test_lib.h 19 * @file src/regex/regex_test_lib.h
diff --git a/src/regex/regex_test_random.c b/src/regex/regex_test_random.c
index d9d72b250..6e51885ee 100644
--- a/src/regex/regex_test_random.c
+++ b/src/regex/regex_test_random.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15/** 18/**
16 * @file src/regex/regex_test_random.c 19 * @file src/regex/regex_test_random.c
diff --git a/src/regex/test_regex_api.c b/src/regex/test_regex_api.c
index 7865ed7a5..a08e2ed6d 100644
--- a/src/regex/test_regex_api.c
+++ b/src/regex/test_regex_api.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15/** 18/**
16 * @file regex/test_regex_api.c 19 * @file regex/test_regex_api.c
diff --git a/src/regex/test_regex_eval_api.c b/src/regex/test_regex_eval_api.c
index d421e26f3..8a0c0d024 100644
--- a/src/regex/test_regex_eval_api.c
+++ b/src/regex/test_regex_eval_api.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15/** 18/**
16 * @file regex/test_regex_eval_api.c 19 * @file regex/test_regex_eval_api.c
diff --git a/src/regex/test_regex_graph_api.c b/src/regex/test_regex_graph_api.c
index ced4c5346..46eacc1d7 100644
--- a/src/regex/test_regex_graph_api.c
+++ b/src/regex/test_regex_graph_api.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15/** 18/**
16 * @file regex/test_regex_graph_api.c 19 * @file regex/test_regex_graph_api.c
diff --git a/src/regex/test_regex_integration.c b/src/regex/test_regex_integration.c
index cfcf72fa0..99287243e 100644
--- a/src/regex/test_regex_integration.c
+++ b/src/regex/test_regex_integration.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15/** 18/**
16 * @file regex/test_regex_integration.c 19 * @file regex/test_regex_integration.c
diff --git a/src/regex/test_regex_iterate_api.c b/src/regex/test_regex_iterate_api.c
index 129dd83cb..f4cc725e0 100644
--- a/src/regex/test_regex_iterate_api.c
+++ b/src/regex/test_regex_iterate_api.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15/** 18/**
16 * @file regex/test_regex_iterate_api.c 19 * @file regex/test_regex_iterate_api.c
diff --git a/src/regex/test_regex_proofs.c b/src/regex/test_regex_proofs.c
index 92bdb3792..72e02fa07 100644
--- a/src/regex/test_regex_proofs.c
+++ b/src/regex/test_regex_proofs.c
@@ -11,6 +11,9 @@
11 WITHOUT ANY WARRANTY; without even the implied warranty of 11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details. 13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
14*/ 17*/
15/** 18/**
16 * @file regex/test_regex_proofs.c 19 * @file regex/test_regex_proofs.c