Changes

Summary

  1. Some minor cleaning up [ci skip]. (details)
Commit f3a18e7ba0bd039222d9749b454e1998c04e8ff0 by noreply
Some minor cleaning up [ci skip].
The file was modified doc/developer/prerequisites.html (diff)