fixed old files check in dist: don't check extension
1 file changed
tree: 7346816c9c00e7b4ace00a2db7e5604ea5f346e1
  1. src/
  2. .gitignore
  3. Jenkinsfile
  4. NOTICE.txt
  5. pom.xml