diff options
Diffstat (limited to 'deal-ii.install')
| -rw-r--r-- | deal-ii.install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/deal-ii.install b/deal-ii.install index d33700998df3..0b1bc832cea0 100644 --- a/deal-ii.install +++ b/deal-ii.install @@ -1,4 +1,4 @@ post_install() { - echo 'deal.II 8.4.0 has an online documentation available at http://www.dealii.org/8.4.0/' + echo 'deal.II 8.4.2 has an online documentation available at http://www.dealii.org/8.4.1/' echo 'deal.II examples are provided in /usr/examples/deal.II' } |