diff options
Diffstat (limited to 'remove_web_iface_deps.pl')
| -rwxr-xr-x | remove_web_iface_deps.pl | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/remove_web_iface_deps.pl b/remove_web_iface_deps.pl deleted file mode 100755 index a63156c31154..000000000000 --- a/remove_web_iface_deps.pl +++ /dev/null @@ -1,40 +0,0 @@ -#!/usr/bin/env swipl - -/* - * - * remove_web_iface_deps.pl - * - * Copyright (C) 2016 frnmst (Franco Masotti) <franco.masotti@student.unife.it> - * - * This file is part of cplint-installer. - * - * cplint-installer is free software: you can redistribute it and/or modify - * it under the terms of the GNU General Public License as published by - * the Free Software Foundation, either version 3 of the License, or - * (at your option) any later version. - * - * cplint-installer is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with cplint-installer. If not, see <http://www.gnu.org/licenses/>. - * - */ - -:- initialization main. - -remove:- - pack_remove(aleph), - pack_remove(auc), - pack_remove(real), - pack_remove(matrix), - pack_remove(cplint), - pack_remove('rserve_client'). - -main:- - catch(remove, E, (print_message(error, E), fail)), - halt. -main:- - halt(1). |