src/tox.ini: add general comment

sagemath · Aug 25, 2022 · ec65ffe · ec65ffe
1 parent 77a761a
commit ec65ffe
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/tox.ini b/src/tox.ini
@@ -1,6 +1,9 @@
 ## Configuration for tox.
 ## Needs tox installed in the system python.
 ##
+## Note that this file is not ignored by git. It should be kept in sync with the
+## git trac repo.
+##
 ## doctest:  Run the sage doctests.  From the SAGE_ROOT/src directory:
 ##
 ##     $ tox