Issue #5470: Package zipdir.zip.
This commit is contained in:
parent
772033f08c
commit
91a1a071a0
|
@ -1012,6 +1012,7 @@ def add_files(db):
|
|||
lib.glob("*.pem")
|
||||
lib.glob("*.pck")
|
||||
lib.add_file("readme.txt", src="README")
|
||||
lib.add_file("zipdir.zip")
|
||||
if dir=='decimaltestdata':
|
||||
lib.glob("*.decTest")
|
||||
if dir=='output':
|
||||
|
|
Loading…
Reference in New Issue