mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-06 01:06:54 +07:00
This reverts commit 08f87af551374373e8fd6b5e5133d4158c1e31de. The commit 08f87af55 was de-facto a reversion of bab46cfcb44b86f2b6191b5c369f5170811eb98a. During a private conversation it turned out that 08f87af55 was created mistakenly and unintentionally. GitOrigin-RevId: ac8af8a3ee614f6afef2c10ab34bfc76b60edb7c