10 lines
176 B
Plaintext
10 lines
176 B
Plaintext
|
[Gedit Tool]
|
||
|
|
_Name=Build
|
||
|
|
_Comment=Run "make" in the document directory
|
||
|
|
Input=nothing
|
||
|
|
Output=output-panel
|
||
|
|
Shortcut=<Control>F8
|
||
|
|
Applicability=local
|
||
|
|
Save-files=nothing
|
||
|
|
Languages=
|