diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/ReleaseNotes.html | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 19b92f1d03..3e24f86242 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -83,11 +83,7 @@ Almost dead code. <!-- for announcement email: Logo web page. - llvm devmtg - compiler_rt - KLEE web page at klee.llvm.org Many new papers added to /pubs/ - Mention gcc plugin. --> <!-- *********************************************************************** --> |