From e5c5e496dd67cda0ea87677a180e58c1d5f54000 Mon Sep 17 00:00:00 2001
From: Nancy Mazur <Nancy.Mazur@cs.kuleuven.ac.be>
Date: Wed, 11 Sep 2002 12:43:41 +0000
Subject: [PATCH] (new file) All html-files are without explicit copyright.

Estimated hours taken: 0.1
Branches: main

.nocopyright:
	(new file) All html-files are without explicit copyright.
---
 extras/quickcheck/tutes/.nocopyright | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 extras/quickcheck/tutes/.nocopyright

diff --git a/extras/quickcheck/tutes/.nocopyright b/extras/quickcheck/tutes/.nocopyright
new file mode 100644
index 000000000..1b8764ad1
--- /dev/null
+++ b/extras/quickcheck/tutes/.nocopyright
@@ -0,0 +1,11 @@
+T1.html
+T10.html
+T2.html
+T3.html
+T4.html
+T5.html
+T6.html
+T7.html
+T8.html
+T9.html
+index.html