mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 17:33:38 +00:00
(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.
This commit is contained in:
11
extras/quickcheck/tutes/.nocopyright
Normal file
11
extras/quickcheck/tutes/.nocopyright
Normal file
@@ -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
|
||||
Reference in New Issue
Block a user