Build #40 (Jul 5, 2023, 2:39:33 PM)

	Changes Documentation: set images within <div> environment (details / githubweb) Changes Documentation: set images within <div> environment (details / githubweb)
	Pull request #4160 updated at 2:39:16 PM on Jul 5, 2023
	Revision: e98a0bcb79509c0e271c62d2f3406b7300bfae5f Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4160
	Revision: 77b4a756efbca4a5a7fe7aa135127ad4c071af97 Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4160
	Revision: 7854bc8a2b48d7525286a50a8a3881d192a52a8a Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4160