Redirect old Maven docs to new location

[ci skip]

Redirect old Maven docs to new location
[ci skip]
cbeb8a09 · Achilleas Pipinellis · cac5471a · cbeb8a09
Commit cbeb8a09 authored Sep 24, 2018 by Achilleas Pipinellis
Show whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

doc/user/project/maven_packages.md doc/user/project/maven_packages.md +3 -0

No files found.
--- a/doc/user/project/maven_packages.md
+++ b/doc/user/project/maven_packages.md
+---
+redirect_to: 'packages/maven_repository.md'
+---