Skip to content
Snippets Groups Projects
Commit 9066b663 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Doc] update blog URL

parent efd1f4ab
No related branches found
No related tags found
No related merge requests found
......@@ -113,6 +113,6 @@ via the GUI:
- The [Frama-C wiki](https://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:start)
has some useful information, although it is not entirely up-to-date.
- The [Frama-C blog](http://blog.frama-c.com/) has several posts about
- The [Frama-C blog](http://pub.frama-c.com/blog) has several posts about
new developments of Frama-C, as well as general discussions about the C
language, undefined behavior, floating-point computations, etc.
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