Skip to content
Snippets Groups Projects
Commit b769fa86 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

remove generated file from repository

parent 125306ae
No related branches found
No related tags found
No related merge requests found
DEFAULT_SUITES= eva
TOPLEVEL_PATH=/Users/correnson/Frama-C/trunk/bin/toplevel.opt
FRAMAC_SHARE=/Users/correnson/Frama-C/trunk/share
FRAMAC_LIB=/Users/correnson/Frama-C/trunk/lib/fc
FRAMAC_PLUGIN=/Users/correnson/Frama-C/trunk/lib/plugins
FRAMAC_PLUGIN_GUI=/Users/correnson/Frama-C/trunk/lib/plugins/gui
OCAMLRUNPARAM=
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment