diff options
| author | Andre Noll <maan@tuebingen.mpg.de> | 2025-05-19 22:01:36 +0200 |
|---|---|---|
| committer | Andre Noll <maan@tuebingen.mpg.de> | 2025-05-22 18:46:48 +0200 |
| commit | 4fea76c75c94cf2d4cf44efc3bc10549ee0f05ab (patch) | |
| tree | b7466d651f43aa7e88be0ea85a0b3e9989258e0f /web/documentation.in.html | |
| parent | d8b3632b22787757a4c2f4f4baee920f6d0eebd9 (diff) | |
Remove para_upgrade_db.
It is no longer needed since everybody should have upgraded by now, and it
blocks the road towards the removal of sha1.
Diffstat (limited to 'web/documentation.in.html')
| -rw-r--r-- | web/documentation.in.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/web/documentation.in.html b/web/documentation.in.html index 32efe9c3..15255e0d 100644 --- a/web/documentation.in.html +++ b/web/documentation.in.html @@ -25,7 +25,6 @@ [<a href="para_gui.man.html">para_gui</a>] [<a href="para_mixer.man.html">para_mixer</a>] [<a href="para_play.man.html">para_play</a>] - [<a href="para_upgrade_db.man.html">para_upgrade_db</a>] </p> <h2> Source code documentation </h2> |