Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
128 check-ins that include changes to files matching '.fossil-settings/*'
|
2024-01-22
| ||
| 13:40 | Sync with trunk. ... (Leaf check-in: 75978253 user: florian tags: diff-keyboard-navigation) | |
| 13:39 | Sync with trunk. ... (Leaf check-in: f05b04a6 user: florian tags: timeline-keyboard-navigation) | |
|
2023-05-21
| ||
| 03:37 | Merge updates from trunk. ... (Leaf check-in: e3df21cd user: mistachkin tags: th1Hash) | |
|
2023-01-24
| ||
| 03:29 | Brought the ui-local-diff branch up to date relative to trunk. It isn't a simple merge, primarily due to all the changes to /vdiff and /fdiff made over the past 2 years. It seems to work as well as it originally did, but it isn't ready to merge down to trunk as-is. ... (check-in: 76fa1657 user: wyoung tags: ui-local-diff) | |
|
2023-01-21
| ||
| 12:14 | Merge trunk into markdown-tagrefs branch. ... (check-in: baf038b1 user: stephan tags: markdown-tagrefs) | |
|
2022-11-20
| ||
| 08:42 | Update the built-in zlib to version 1.2.13, released on October 13, 2022. ... (check-in: a9e589ca user: florian tags: trunk) | |
| 07:50 | Add compat/zlib/contrib/ada/* and compat/zlib/doc/* to the ignore-glob. Now there's only two (manual) cherry-picks required for zlib updates: [0f8bae079e] and [368d97869b] (though the upstream ticket for [368d97869b] is commented as "Incorporated" and closed: https://github.com/madler/zlib/issues/684). ... (Closed-Leaf check-in: 1a52d387 user: florian tags: zlib-update) | |
|
2022-10-17
| ||
| 01:02 | Merge updates from trunk. ... (check-in: 6f3640a7 user: mistachkin tags: th1Hash) | |
|
2022-06-18
| ||
| 07:04 | Merged in trunk. ... (check-in: 4d629929 user: stephan tags: markdown-tagrefs) | |
|
2022-06-17
| ||
| 09:57 | Merged in trunk. ... (Closed-Leaf check-in: c97ad9d6 user: danield tags: diff-show-versions) | |
| 09:49 | Merged in trunk. ... (Closed-Leaf check-in: 20c1ba2e user: danield tags: timeline-cmd-by-branch) | |
| 09:43 | Merged in trunk. ... (check-in: 6bdb2fbe user: danield tags: version-cmd-describe) | |
|
2022-06-12
| ||
| 19:32 |
Add extsrc/pikchr.wasm to the list of binary blobs.
...
(check-in: 13cd92de user: george tags: trunk)
| |
|
2021-03-23
| ||
| 13:31 | Merge changes from trunk ... (Closed-Leaf check-in: 9ff7d9e5 user: george tags: wiki-history) | |
|
2021-03-18
| ||
| 01:40 | Object files based on checked-out source files should not be ignored. The final build products (e.g. 'fossil', 'fossil.exe') are exempt from this rule. ... (check-in: 0d21459e user: mistachkin tags: trunk) | |
| 01:34 | Re-add the 'wbld' directory to 'clean-glob' as it is used by MinGW. ... (check-in: bb86eb62 user: mistachkin tags: trunk) | |
|
2021-03-01
| ||
| 07:37 | Merged trunk changes in. Only needed to track my own rename of branch_of_rid() to branch_of_ckin_rid() ... (Leaf check-in: ea28708f user: wyoung tags: artifact-view-links) | |
|
2021-02-14
| ||
| 21:28 | Brought graham's ui-local-diff branch up to date with respect to trunk. This is not a simple merge, because it had to accommodate several conflicting changes, so it needs to be re-checked for sanity before being merged down to trunk. Also, some of the changes I made simply reduce the size of the resulting diff relative to trunk and need to be reverted; these are primarily 2-line splits of "else/if" so the branch-specific change doesn't repeat the following "if" condition, which is now the "else if" condition. I think this sort of thing aids understanding of the diff, even though it breaks the style guidelines. ... (check-in: 0516f4d3 user: wyoung tags: ui-local-diff) | |
|
2021-01-20
| ||
| 19:19 | Merge version-2.14 ... (check-in: 0e31c8d2 user: george tags: wiki-history) | |
|
2021-01-05
| ||
| 13:20 | Add build and zlib directories to the ignore-glob file, and change wbld to msvcbld in clean-glob file. ... (check-in: 443f4182 user: danield tags: trunk) | |
|
2021-01-03
| ||
| 11:08 | chat: added preliminary audio notification support (may require toggling that capability on for a given server in the browser). Center-aligned chat error messages and removed the 'fossil' user name from them, for compatibility with upcoming timeline-style notifications. Added wav files to the binary-glob versioned setting. ... (check-in: 99caeec6 user: stephan tags: trunk) | |
|
2018-09-22
| ||
| 04:21 | Add build directories to ignore-glob. ... (Closed-Leaf check-in: bddd4961 user: ashepilko tags: build-ignore-glob) | |
|
2018-08-02
| ||
| 08:32 | Merge from trunk. ... (check-in: 19997e99 user: ashepilko tags: cmake-ide) | |
|
2017-10-04
| ||
| 10:59 | Add support for markdown page titles ... (check-in: 4a298e69 user: mjanssen tags: commonmark-markdown) | |
|
2017-08-31
| ||
| 02:00 | Merge trunk ... (check-in: d15c1ba0 user: jan.nijtmans tags: multi-thread) | |
|
2017-08-30
| ||
| 13:07 | Merge cleanX ... (check-in: 92976100 user: jan.nijtmans tags: cleanX-no-clean-glob) | |
| 13:02 | Merge trunk ... (check-in: d4f98e25 user: jan.nijtmans tags: cleanX) | |
|
2017-04-23
| ||
| 13:08 | merge trunk. Use new Win10 flag: SYMBOLIC_LINK_FLAG_ALLOW_UNPRIVILEGED_CREATE. See: https://blogs.windows.com/buildingapps/2016/12/02/symlinks-windows-10/#Y9sMOye6Y8vVYmDx.97 for why this might make this branch work better. ... (Closed-Leaf check-in: 2999c7dc user: jan.nijtmans tags: winsymlink) | |
|
2017-03-16
| ||
| 15:14 | Rename crnl-glob versioned setting to crlf-glob ... (check-in: c5e4f7df user: jan.nijtmans tags: trunk) | |
|
2017-03-06
| ||
| 15:32 | Merge trunk ... (Closed-Leaf check-in: 4bf7e4ef user: jan.nijtmans tags: sqlite3-compat) | |
|
2017-02-14
| ||
| 19:23 | Merge cleanX ... (check-in: d73dcdd0 user: jan.nijtmans tags: cleanX-no-clean-glob) | |
|
2017-02-06
| ||
| 23:31 | merge trunk ... (check-in: 2ada986e user: jan.nijtmans tags: cleanX) | |
|
2017-01-18
| ||
| 11:19 | Upgrade to openssl 1.1.0c. Merge trunk (up to fossil 1.37 release) ... (check-in: d0fbbd01 user: jan.nijtmans tags: openssl-1.1) | |
|
2017-01-03
| ||
| 22:39 | Simplify and cleanup various Fossil versioned setting files. ... (check-in: 724b1536 user: mistachkin tags: trunk) | |
| 10:53 | Update the built-in Zlib to the 1.2.10 release. ... (check-in: ad8ad49d user: jan.nijtmans tags: trunk) | |
|
2016-11-08
| ||
| 18:41 |
The 'ignore-glob' setting should not be used for build output files; otherwise, 'extras' command is unable to see them and 'clean' command is unable to remove then. Also, the 'add' command should already ignore files matching the 'clean-glob', there is no need to duplicate its contents in 'ignore-glob'.
Remark (JN): "fossil clean -x" could be your friend here, it makes life a lot easier. ... (check-in: dc9ac1d7 user: mistachkin tags: trunk) | |
| 14:22 | Add "crnl-glob" (as demonstration for this feature). Also remove some unnecessary spacing. ... (check-in: 7cd98039 user: jan.nijtmans tags: trunk) | |
| 14:21 | Make "fossil extra" work as expected in fossil repository: not mentioning build-artifacts any more. This makes sure that files resulting from a build cannot be accidently "fossil add"-ed any more. ... (check-in: 6ef3a2a4 user: jan.nijtmans tags: trunk) | |
|
2016-11-07
| ||
| 00:50 | Merge trunk ... (check-in: 7ea74acf user: andygoth tags: andygoth-crlf) | |
| 00:34 | Merge trunk ... (check-in: 4bf71abd user: jan.nijtmans tags: cleanX) | |
|
2016-09-21
| ||
| 16:06 | Merge in latest from trunk ... (check-in: 85a0ada6 user: nick.lloyd tags: nick.lloyd-git-interop) | |
|
2016-08-03
| ||
| 01:18 | Merge with trunk; resolved tar and zip generation to handle include/exclude globs. ... (check-in: de9e7651 user: jan tags: jan-manifest-tags) | |
|
2016-07-04
| ||
| 20:13 | Merge in trunk and resolve conflict. ... (check-in: 003b6581 user: andybradford tags: stash-fixes) | |
|
2016-06-22
| ||
| 09:11 | merge trunk ... (Closed-Leaf check-in: 414fc1e9 user: jan.nijtmans tags: html-cleanup) | |
|
2016-05-31
| ||
| 08:17 | merge from trunk with a few tweaks for merge conflicts ... (check-in: 598b58a5 user: sdr tags: winsymlink) | |
|
2016-05-28
| ||
| 02:37 | Improve SEE (shell) support in the build process. ... (check-in: cc828822 user: mistachkin tags: trunk) | |
|
2016-05-23
| ||
| 15:46 | Merge trunk ... (Closed-Leaf check-in: ca59c662 user: andygoth tags: andygoth-quote-apostrophe) | |
| 15:45 | Merge trunk ... (Closed-Leaf check-in: 83bd4f37 user: andygoth tags: andygoth-brackets-outside-link) | |
|
2016-05-21
| ||
| 23:58 | merge cleanX ... (check-in: 70f77a1b user: jan.nijtmans tags: cleanX-no-clean-glob) | |
| 23:48 | Merge trunk ... (check-in: a2c0e3f2 user: jan.nijtmans tags: cleanX) | |
|
2016-05-03
| ||
| 08:17 | Merged trunk and resolved conflicts. Passes all current tests, except for tests wiki-15 and wiki-15.1 in wiki.test. ... (check-in: 8c8ccac9 user: rberteig tags: technoteattachcli) | |
|
2016-04-22
| ||
| 18:33 | Add an entry to the ignore-glob setting to help prevent the SEE-enabled SQLite source file from being added to this public repository by mistake. ... (check-in: fa3e672a user: drh tags: trunk) | |
|
2016-04-08
| ||
| 13:03 | Updating from trunk. ... (Closed-Leaf check-in: a1b09559 user: viriketo tags: viric_flavour) | |
|
2015-11-03
| ||
| 05:47 | merge cleanX ... (check-in: 346d62a4 user: jan.nijtmans tags: cleanX-no-clean-glob) | |
|
2015-09-03
| ||
| 23:15 | Merged from trunk with a few tiny edits to make new functionality work on Windows ... (check-in: 8f33e49d user: sdr tags: winsymlink) | |
|
2015-08-26
| ||
| 09:34 | Bring svn import up to date in an attempt to finish it ... (check-in: c75ca53e user: baruch tags: svn-import) | |
|
2015-08-21
| ||
| 09:15 | merge trunk ... (check-in: 0ab66b74 user: jan.nijtmans tags: cleanX) | |
|
2015-07-10
| ||
| 09:47 | Merge trunk. Add built objects to "ignore-glob" for testing purposes ... (Closed-Leaf check-in: 2821e284 user: jan.nijtmans tags: enhancedUndo-test) | |
|
2015-06-26
| ||
| 21:25 | Fix memory leak in prompt handling. Move clean-glob setting to ignore-glob, that makes "fossil extras" and "fossil clean" behave much more sensible. ... (Closed-Leaf check-in: a98c9957 user: jan.nijtmans tags: undo-clean) | |
| 18:48 | Merge trunk. ... (check-in: f3daf393 user: andygoth tags: undo-clean) | |
|
2015-05-16
| ||
| 02:18 | Merge updates from trunk. ... (check-in: 777db01e user: zakero tags: skin-xekri) | |
|
2015-05-07
| ||
| 19:28 | merge trunk ... (check-in: c1416fd1 user: jan.nijtmans tags: sync-forkwarn) | |
|
2015-05-04
| ||
| 22:10 | Merge cleanX ... (check-in: 72baedfb user: jan.nijtmans tags: cleanX-no-clean-glob) | |
|
2015-04-30
| ||
| 22:03 | No longer assume -f with -x|--verily, as everything matching --ignore will not be prompted for anyway. ... (check-in: f870407c user: jan.nijtmans tags: cleanX) | |
| 21:24 | Merge trunk ... (check-in: 44bed853 user: jan.nijtmans tags: cleanX) | |
|
2015-04-29
| ||
| 16:54 | Merge trunk. ... (check-in: 25a7cd1e user: andygoth tags: andygoth-versioned-open) | |
| 13:35 | Remove .fossil-settings/keep-glob, this should never have been set a versioned setting, as it is specific to my build environment and shouldn't have been imposed on others. ... (check-in: ab849410 user: jan.nijtmans tags: trunk) | |
| 12:28 | Remove versionable setting "keep-glob", as not everyone wants this. ... (Closed-Leaf check-in: 07fb7f64 user: jan.nijtmans tags: clean-verily) | |
|
2015-04-03
| ||
| 02:36 | Merge updates from trunk. ... (check-in: 06ffd800 user: mistachkin tags: tkt-b6eea9446d) | |
|
2015-02-06
| ||
| 15:38 | Merge trunk ... (check-in: 1be2eb05 user: jan.nijtmans tags: svn-import) | |
| 15:34 | Workaround for recently introduced Cygwin bug: group permission is always set! This was the cause of the "execute permission" trouble in my recent commits. :-( ... (check-in: d9dfe11d user: jan.nijtmans tags: trunk) | |
| 15:07 | Merge trunk ... (check-in: 7d41f6a6 user: jan.nijtmans tags: svn-import) | |
| 15:06 | Now really fix execute permissions to what they were before ... (check-in: 596e7a9c user: jan.nijtmans tags: trunk) | |
|
2014-12-01
| ||
| 17:25 | merge cleanX ... (check-in: 5b40b55b user: jan.nijtmans tags: cleanX-no-clean-glob) | |
|
2014-11-28
| ||
| 17:36 | merge trunk ... (check-in: 12667b95 user: jan.nijtmans tags: cleanX) | |
|
2014-10-05
| ||
| 22:41 | merge trunk ... (check-in: 4c84ee3b user: jan.nijtmans tags: sqlite3-compat) | |
|
2014-08-08
| ||
| 03:57 | Merge updates from trunk. ... (Closed-Leaf check-in: 1b35c802 user: mistachkin tags: autosetup) | |
|
2014-07-20
| ||
| 13:20 | Merge from trunk ... (check-in: c4fca467 user: ashish tags: ashish-ipv6) | |
|
2014-07-10
| ||
| 09:25 | merge trunk ... (check-in: a44b4aa5 user: jan.nijtmans tags: undo-clean) | |
|
2014-06-13
| ||
| 08:57 | Add a versioned "encoding-glob" setting for some files which contain the copyright sign (as invalid UTF-8 byte-sequence) ... (check-in: c5a01697 user: jan.nijtmans tags: trunk) | |
|
2014-06-08
| ||
| 00:03 | Merge updates from trunk. ... (check-in: f91d3131 user: mistachkin tags: th1Hooks) | |
|
2014-02-21
| ||
| 15:02 | merge cleanX ... (check-in: 8b97e37e user: jan.nijtmans tags: cleanX-no-clean-glob) | |
| 14:46 | merge trunk ... (check-in: f93b4b4d user: jan.nijtmans tags: cleanX) | |
|
2014-02-09
| ||
| 17:14 | merge trunk ... (Closed-Leaf check-in: 78862afd user: jan.nijtmans tags: prevent-adding-ignored-files) | |
|
2013-12-25
| ||
| 07:16 | Merge from trunk ... (check-in: a30d1f58 user: ashish tags: ashish-ipv6) | |
|
2013-12-19
| ||
| 22:07 | Merge from trunk. src/main.mk is now generated automatically. ... (Closed-Leaf check-in: 927264ab user: dg tags: dg-codenames) | |
| 22:04 | Merge from trunk. ... (Closed-Leaf check-in: 22d9cff0 user: dg tags: dg-misc) | |
|
2013-12-17
| ||
| 09:25 | Merge changes from trunk and update msvc_build.bat for entirely automated build using the latest MSVC version. ... (Closed-Leaf check-in: 555c44eb user: BM tags: msvc_build) | |
|
2013-11-13
| ||
| 03:51 | Merge latest trunk. ... (check-in: 17f6b655 user: mgagnon tags: hide-diff-on-vdiff_page) | |
|
2013-11-12
| ||
| 15:27 | merge trunk ... (check-in: 1bd561c3 user: jan.nijtmans tags: jan-httpsproxytunnel) | |
| 12:39 | merge trunk ... (check-in: 3d63f560 user: jan.nijtmans tags: tkt-change-hook) | |
|
2013-11-10
| ||
| 06:04 | Merge in latest from trunk. ... (Closed-Leaf check-in: 69a19a7d user: andybradford tags: url-password-fixes) | |
|
2013-11-07
| ||
| 13:31 | Make sure that "fossil clean" never cleans win/fossil.exe either. ... (check-in: 6dd4d75e user: jan.nijtmans tags: trunk) | |
|
2013-10-10
| ||
| 02:52 | Merge from 'trunk' ... (check-in: 9c3021b0 user: ashish tags: ashish-ipv6) | |
|
2013-10-01
| ||
| 23:01 | Merge updates from trunk. ... (check-in: 8d2f9ab1 user: mistachkin tags: cleanX) | |
|
2013-08-15
| ||
| 13:13 | Merge from trunk. ... (check-in: 0ff5fe76 user: dg tags: dg-misc) | |
|
2013-07-21
| ||
| 16:29 | rebase ... (check-in: 54aef599 user: jan.nijtmans tags: cleanX-no-clean-glob) | |
|
2013-07-17
| ||
| 12:04 | merge trunk ... (Closed-Leaf check-in: 5d8551bf user: jan.nijtmans tags: ui-no-utf8) | |
|
2013-06-25
| ||
| 22:15 | Merge with trunk. ... (check-in: 995ed75f user: isaac.jurado tags: git-better-import) | |
|
2013-06-21
| ||
| 09:27 | rebase ... (check-in: dfb47a2a user: jan.nijtmans tags: cleanX-no-clean-glob) | |
|
2013-06-20
| ||
| 11:02 | Pull in all the latest trunk changes. ... (check-in: 6ec8818f user: drh tags: ticket-967cedbf20) | |
|
2013-06-19
| ||
| 13:44 | Somewhat stronger protection of directories compat/openssl* and compat/tcl*, even when the version number changes, and even when using [fossil clean --ignore ""]. ... (check-in: 7b52ab05 user: jan.nijtmans tags: trunk) | |
| 12:38 | Pull in the latest trunk changes and the latest NGQP-SQLite from upstream. ... (Closed-Leaf check-in: 03c5ec86 user: drh tags: sqlite-NGQP) | |
| 07:14 | rebase ... (check-in: cbf96603 user: jan.nijtmans tags: cleanX-no-clean-glob) | |
| 02:57 | Move the location of the external Tcl 8.6 directory into compat. ... (check-in: c107d505 user: mistachkin tags: trunk) | |
| 02:50 | Update ignore-glob setting file to include commonly used external directories. ... (check-in: 5ef811b7 user: mistachkin tags: trunk) | |
|
2013-06-10
| ||
| 13:32 | Merge all the latest trunk changes into the ipv6 branch. ... (Closed-Leaf check-in: d5f6e08c user: drh tags: ipv6) | |
|
2013-06-08
| ||
| 02:37 | Merge updates from trunk. ... (Closed-Leaf check-in: b8919a55 user: edward tags: berner-nt) | |
| 01:34 | Merge updates from trunk. ... (Closed-Leaf check-in: 7872db85 user: edward tags: long-double-bug) | |
|
2013-06-03
| ||
| 07:53 | Rebase. Remove --clean option and "clean-glob" setting. Implement new "allow-clean-x" setting. ... (check-in: b3201c91 user: jan.nijtmans tags: cleanX-no-clean-glob) | |
|
2013-05-30
| ||
| 07:28 | Additional protection for fossil executables being removed by "fossil clean", even when using --ignore "". Add a warning when kept files are refused to be removed, don't keep this situation silent any more. Backport various improvements from cleanX branch: Use of capitals in messages, missing blob_reset() calls. ... (check-in: 67c9cd12 user: jan.nijtmans tags: trunk) | |
|
2013-05-29
| ||
| 07:35 | Protect fossil executable better against removal by "fossil clean -x" without getting a dialog for it. ... (check-in: bd86711f user: jan.nijtmans tags: cleanX) | |
|
2013-05-22
| ||
| 07:11 | Use-case demonstrating previous change. It restores the behavior of "fossil clean" and the "ignore-glob" documentation to what it was in 1.25 and before: clean everything unknown to fossil except the build artifacts (specified by "ignore-glob" or --ignore). Now the build artifacts can be removed by "fossil clean -X", while "fossil clean -x" cleans everything possible for a clean build. This renders --clean and "ignore-clean" unnecessary, it can be removed now. ... (Closed-Leaf check-in: 003062b7 user: jan.nijtmans tags: cleanX) | |
|
2013-05-13
| ||
| 09:36 | Setting "ignore-glob" is equivalent to putting patterns in both "clean-glob" and "keep-glob". Rename .fossil-settings/keep-glob to .fossil-settings/ignore-glob, so that "fossil" and "fossil.exe" patterns don't need to be duplicated any more in two different versioned settings. ... (check-in: 967d8a71 user: jan.nijtmans tags: trunk) | |
|
2013-05-07
| ||
| 23:00 | Modify the add and addremove commands to honor the clean-glob setting with the ability to override it via the --clean option. Adjust versionable setting files accordingly. ... (check-in: 155acff4 user: mistachkin tags: trunk) | |
| 21:55 | Prevent "fossil" and "fossil.exe" ever being added by "fossil addremove". ... (check-in: 0ea8cc56 user: jan.nijtmans tags: trunk) | |
| 20:52 | Add --clean option and clean-glob for use by the clean command. Restore previous meaning of the ignore-glob setting. ... (check-in: b7afa972 user: mistachkin tags: trunk) | |
|
2013-05-06
| ||
| 10:13 | Add option --keep to "fossil clean", and matching versionable setting "keep-glob". Now you can specify which files should be kept without confirmation and which files can be removed (--ignore, "ignore-glob") without confirmation. If you want the old behavior, specify "keep-glob" to have the same value as "ignore-glob". Add versioned settings "ignore-glob" and "keep-glob" to the fossil repository. ... (check-in: 982f9ec7 user: jan.nijtmans tags: trunk) | |
|
2013-05-02
| ||
| 15:04 | rebase ... (Closed-Leaf check-in: 9e4a7190 user: jan.nijtmans tags: clean-with-ignore) | |
|
2013-04-10
| ||
| 11:08 | Document keep-glob. Rebase ... (check-in: 191f4e0f user: jan.nijtmans tags: clean-with-ignore) | |
|
2013-04-08
| ||
| 21:05 | rebase ... (check-in: 88ece116 user: jan.nijtmans tags: clean-with-ignore) | |
|
2013-04-03
| ||
| 10:02 | rebase ... (check-in: 2e545d58 user: jan.nijtmans tags: clean-with-ignore) | |
| 07:36 | rebase ... (check-in: 6159a7f2 user: jan.nijtmans tags: clean-with-ignore) | |
|
2013-04-02
| ||
| 09:31 | merge trunk ... (check-in: bdd97904 user: jan.nijtmans tags: clean-with-ignore) | |
|
2013-03-14
| ||
| 14:41 | merge trunk. Add fossil and fossil.exe to "ignore-glob". ... (check-in: 4acff0a6 user: jan.nijtmans tags: clean-with-ignore) | |
|
2013-03-12
| ||
| 16:01 | add .lib, remove some unneeded entries ... (check-in: 124aad18 user: jan.nijtmans tags: clean-with-ignore) | |
| 15:48 | Add --keep option to "fossil clean", and versionable "keep-glob" setting ... (check-in: 6c72cab7 user: jan.nijtmans tags: clean-with-ignore) | |
|
2013-03-10
| ||
| 09:57 | Change behavior of "fossil clean --ignore": The ignore setting now specifies which files can be removed without confirmation Add versionable "ignore-glob" setting for fossil, in order to demonstrate the desired behavior. ... (check-in: 5a3855f6 user: jan.nijtmans tags: clean-with-ignore) | |