* wrap/python/ajax/Makefile.am (EXTRA_DIST): Add loading.gif.
This commit is contained in:
parent
fc22fe56e4
commit
85391ab9fe
1 changed files with 1 additions and 0 deletions
|
|
@ -25,6 +25,7 @@ EXTRA_DIST = $(srcdir)/spot.in README ltl2tgba.html css/ltl2tgba.css \
|
||||||
css/tipTip.css js/jquery.tipTip.minified.js js/jquery.ba-bbq.min.js \
|
css/tipTip.css js/jquery.tipTip.minified.js js/jquery.ba-bbq.min.js \
|
||||||
js/jquery.ba-dotimeout.min.js logos/lip6sys64.png logos/lrde64.png \
|
js/jquery.ba-dotimeout.min.js logos/lip6sys64.png logos/lrde64.png \
|
||||||
logos/spot64s.png logos/mail.png \
|
logos/spot64s.png logos/mail.png \
|
||||||
|
css/loading.gif \
|
||||||
css/ui-lightness/jquery-ui-1.8.13.custom.css \
|
css/ui-lightness/jquery-ui-1.8.13.custom.css \
|
||||||
css/ui-lightness/images/ui-icons_222222_256x240.png \
|
css/ui-lightness/images/ui-icons_222222_256x240.png \
|
||||||
css/ui-lightness/images/ui-bg_glass_100_f6f6f6_1x400.png \
|
css/ui-lightness/images/ui-bg_glass_100_f6f6f6_1x400.png \
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue