# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1698737393 -3600
# Node ID a4db7bd42eeac45450e459e68be1604a46a4b2e5
# Parent  c27d0812b30d490f7cf3adc16d6e6a528fff9c5b
Docs

diff -r c27d0812b30d -r a4db7bd42eea setup.py
--- a/setup.py	Tue Oct 31 08:28:54 2023 +0100
+++ b/setup.py	Tue Oct 31 08:29:53 2023 +0100
@@ -180,6 +180,8 @@
 
 
             #
+            # Force installation into `platlib` instead of `purelib`.
+            #
             # See also: https://peps.python.org/pep-0491/
             # See also: https://github.com/google/or-tools/issues/616
             #