alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* wrap/python/ajax/Makefile.am (EXTRA_DIST): Add icons/mail.png.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2011-01-26 22:10:57 +01:00
parent 6df06aceeb
commit 656eeeaf3b
2 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2011-01-26 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* wrap/python/ajax/Makefile.am (EXTRA_DIST): Add icons/mail.png.
2011-01-26 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2011-01-26 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* NEWS: Mention the new on-line ltl2tgba version. * NEWS: Mention the new on-line ltl2tgba version.

2
wrap/python/ajax/Makefile.am
View file

@ -22,7 +22,7 @@
nodist_noinst_SCRIPTS = spot.py nodist_noinst_SCRIPTS = spot.py
EXTRA_DIST = $(srcdir)/spot.in README ltl2tgba.html css/ltl2tgba.css \ EXTRA_DIST = $(srcdir)/spot.in README ltl2tgba.html css/ltl2tgba.css \
css/tipTip.css js/jquery.tipTip.minified.js logos/lip6sys64.png \ css/tipTip.css js/jquery.tipTip.minified.js logos/lip6sys64.png \
logos/lrde64.png logos/spot64s.png \ logos/lrde64.png logos/spot64s.png logos/mail.png \
css/ui-lightness/jquery-ui-1.8.8.custom.css \ css/ui-lightness/jquery-ui-1.8.8.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 \