Merge pull request #3851 from eht16/issue3702_add_various_pref_replace_in_session
commit266bf72d20e8ddc8fc2862c0ab3a5ab9cd523259
authorEnrico Tröger <enrico.troeger@uvena.de>
Mon, 20 May 2024 14:02:41 +0000 (20 16:02 +0200)
committerGitHub <noreply@github.com>
Mon, 20 May 2024 14:02:41 +0000 (20 16:02 +0200)
treeb932a7a9a8ad4a095fdbf983f6ee79c9c21f6f1e
parent529f5d496b0182e495b3262407fa6e86533000fc
parentbb15a702a9a0ae9eb4e2f805e391f30c6a9f06ad
Merge pull request #3851 from eht16/issue3702_add_various_pref_replace_in_session

Closes #3702.
doc/geany.txt