ChangeLog: mention sharing .idea files

2023-10-07 13:30:48 -04:00 · 2023-10-07 13:30:48 -04:00 · e5cdeff4bc
parent 98014ec98a
commit e5cdeff4bc
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -4,6 +4,9 @@
        if the failure was caused by a previous call to finish. Fixes
        #1042.

+        * Push .idea directory with the beginning of a sharable JetBrains
+        CLion configuration.
+
 2023-09-05  Jay Berkenbilt  <ejb@ql.org>

        * 11.6.1: release