dn42/registry
1
0
Fork 0
mirror of https://git.dn42.dev/dn42/registry.git synced 2025-05-29 07:55:27 +08:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge branch 'schema-ignore-hidden' of io/registry into master

Browse source
This commit is contained in:
jrb0001 2018-01-16 18:55:15 +00:00 • committed by dn42 Git Service
commit 9dd52fc82d
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
utils/schema-check/dn42-schema.py
View file

@ -354,6 +354,8 @@ def __index_files(path, use_file):
continue continue
for f in files: for f in files:
if f[0] == ".":
continue
dom = FileDOM(os.path.join(root, f)) dom = FileDOM(os.path.join(root, f))
yield dom yield dom