Add comment

j-woz · j-woz · commit d265ed6bf25d · 2024-09-06T14:05:51.000-05:00
diff --git a/dev/conda/conda-platform.sh b/dev/conda/conda-platform.sh
@@ -2,6 +2,7 @@
 set -eu
 
 # CONDA PLATFORM
+# Build conda for a given PLATFORM
 # Dependency files are in the PLATFORM directory
 # Generated scripts and log files are put in the PLATFORM directory
 # Arguments:
