# Sources are shipped in third-party-source
# https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=744972
source-is-missing share/static/js/jquery-1.12.4p1.min.js
source-is-missing share/static/js/jquery.modal.min.js
source-is-missing share/static/js/jquery.tablesorter.min.js
source-is-missing share/static/js/chosen.jquery.min.js
source-is-missing share/static/js/dropzone.min.js
source-is-missing share/static/js/jquery-ui.min.js
source-is-missing share/static/js/mousetrap.min.js
source-is-missing share/static/RichText/*
source-is-missing third-party-source/devel/third-party/*
