Commit 5d094d37 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

remove unused file

parent 900e00e9
......@@ -420,7 +420,7 @@ install_local: bin/why3config
ifeq (@enable_ide@,yes)
IDE_FILES = gconfig gScheduler db gmain
IDE_FILES = gconfig db gmain
IDEMODULES = $(addprefix src/ide/, $(IDE_FILES))
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