Minor edit [ci skip]

paulnorthrop · Dec 5, 2019 · a88f912 · a88f912
1 parent 71b5171
commit a88f912
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/reference/POT.html b/docs/reference/POT.html