# Sources are shipped in third-party-source
# https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=744972
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/*
