mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
24 lines
1.3 KiB
HTML
24 lines
1.3 KiB
HTML
<!-- OpenIDE Project -->
|
|
<!-- Copyright (C) 2025 “Open Development Platform” Ltd. (https://openide.ru) -->
|
|
<!-- -->
|
|
<!-- This program is free software: you can redistribute it and/or modify -->
|
|
<!-- it under the terms of the GNU Affero General Public License version 3 or later as published by the Free Software Foundation. -->
|
|
<!-- -->
|
|
<!-- This program is distributed in the hope that it will be useful, -->
|
|
<!-- but WITHOUT ANY WARRANTY; without even the implied warranty of -->
|
|
<!-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -->
|
|
<!-- GNU Affero General Public License for more details. -->
|
|
<!-- -->
|
|
<!-- You should have received a copy of the GNU Affero General Public License -->
|
|
<!-- along with this program. If not, see http://www.gnu.org/licenses/. -->
|
|
<html>
|
|
<head>
|
|
<meta charset="UTF-8">
|
|
<link rel="stylesheet" type="text/css" href="css/tips.css">
|
|
</head>
|
|
<body><p><b>Search for Git commits</b></p>
|
|
<p>Press <span class="shortcut">Shift</span> twice and search for a Git branch, tag, commit hash, or message to jump to it in the <span
|
|
class="control">Log</span> view:</p>
|
|
<p class="image"><img src="images/tip_search_everywhere_git.png" alt="Search everywhere for Git branches and commits"
|
|
style="border: 1px solid #55555;"/></p></body>
|
|
</html> |