Commit d386372f authored by Tomasz Buchert's avatar Tomasz Buchert

d/source*: fix source overrides

parent b2e9f767
# temporary override, upstream is informed
stellarium source: source-is-missing doc/jquery.js
\ No newline at end of file
# this file actually comes with source
stellarium source: source-is-missing util/locations-editor/locations-editor
# temporary override, upstream is informed
stellarium source: source-is-missing doc/jquery.js *
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment