fixes the plugin name to frama-clang
Showing
- Makefile 2 additions, 2 deletionsMakefile
- dune 3 additions, 3 deletionsdune
- dune-project 2 additions, 2 deletionsdune-project
- frama-clang.opam 1 addition, 1 deletionframa-clang.opam
- frama-clang.opam.template 1 addition, 1 deletionframa-clang.opam.template
- share/dune 1 addition, 1 deletionshare/dune
- tests/test_config 1 addition, 1 deletiontests/test_config
Loading
Please register or sign in to comment