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

ajax: get rid of the logos

Browse source 
* python/ajax/logos/lip6sys64.png, python/ajax/logos/lrde64.png: Delete.
* python/ajax/css/trans.css, python/ajax/trans.html,
python/ajax/Makefile.am: Adjust.
This commit is contained in:
Alexandre Duret-Lutz 2016-07-06 10:42:53 +02:00
parent ed04e2b421
commit 8dee359e5a
5 changed files with 4 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

8
python/ajax/Makefile.am
View file

@ -1,6 +1,6 @@
## -*- coding: utf-8 -*-
## Copyright (C) 2011, 2012, 2015 Laboratoire de Recherche
## et Développement de l'Epita (LRDE).
## Copyright (C) 2011, 2012, 2015, 2016 Laboratoire de Recherche et
## Développement de l'Epita (LRDE).
##
## This file is part of Spot, a model checking library.
##
@ -20,8 +20,8 @@
nodist_noinst_SCRIPTS = spotcgi.py
EXTRA_DIST = $(srcdir)/spotcgi.in README trans.html css/trans.css \
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 \
logos/spot64s.png logos/mail.png css/loading.gif protocol.txt
js/jquery.ba-dotimeout.min.js logos/spot64s.png logos/mail.png \
css/loading.gif protocol.txt
CLEANFILES = $(nodist_noinst_SCRIPTS)