Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

F

frama-c
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Incidents

Snippets Groups Projects

7a236007

Commit 7a236007 authored 9 months ago by Andre Maroneze

Downloads
- Patches
- Plain Diff

Remove a few more obsolete files

parent b886ff46

No related branches found

No related tags found

Loading

Changes 12

Hide whitespace changes

Inline Side-by-side

Showing

dev/ocamldep_transitive_closure.ml 0 additions, 102 deletions

dev/ocamldep_transitive_closure.ml
dev/size.ml 0 additions, 93 deletions

dev/size.ml
dev/size.mli 0 additions, 29 deletions

dev/size.mli
dev/size_states.ml 0 additions, 112 deletions

dev/size_states.ml
doc/developer/METADOC.txt 0 additions, 36 deletions

doc/developer/METADOC.txt
lib/plugins/PLUGINS.README 0 additions, 2 deletions

lib/plugins/PLUGINS.README
share/META.frama-c 0 additions, 16 deletions

share/META.frama-c
share/libc.c 0 additions, 22 deletions

share/libc.c
share/win32_installer.iss 0 additions, 59 deletions

share/win32_installer.iss
share/win32_manual_installation_step.txt 0 additions, 4 deletions

share/win32_manual_installation_step.txt
src/plugins/e-acsl/.gitattributes 0 additions, 3 deletions

src/plugins/e-acsl/.gitattributes
src/plugins/markdown-report/META.in 0 additions, 12 deletions

src/plugins/markdown-report/META.in

with 0 additions and 490 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment