mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 22:17:05 +07:00
15 lines
410 B
HTML
15 lines
410 B
HTML
<html>
|
|
<head>
|
|
<link rel="stylesheet" type="text/css" href="css/tips.css">
|
|
</head>
|
|
<body>
|
|
|
|
|
|
<p>You don't need to leave <span class="product">&productName;</span> to work with your favorite shell. Just choose
|
|
<span class="control">Tools | Open Terminal</span> on the main menu,
|
|
and enjoy using the embedded local terminal. </p>
|
|
<p class="image"><img src="images/terminal.png"></p>
|
|
|
|
</body>
|
|
</html>
|