"tests/git@git.frama-c.com:pub/frama-c.git" did not exist on "9a87883002047fba305aa30a5d8b52a01dd5104f"
[Doc] remove obsolete files
Showing
- doc/developer/hello_world/Makefile 0 additions, 32 deletionsdoc/developer/hello_world/Makefile
- doc/developer/hello_world/hello_world.ml 0 additions, 67 deletionsdoc/developer/hello_world/hello_world.ml
- doc/developer/tutorial/hello/Makefile 0 additions, 223 deletionsdoc/developer/tutorial/hello/Makefile
Loading
Please register or sign in to comment