waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Remove duplicated punctuation

Browse Source
This commit is contained in:
alberto
2019-10-27 22:38:55 +01:00
committed by GitHub
parent fe2ac04b85
commit ffe2d66aff
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
typings/xterm.d.ts
Vendored
+1 -1
View File
@@ -609,7 +609,7 @@ declare module 'xterm' {
/**
* Selects text within the terminal.
* @param column The column the selection starts at..
* @param column The column the selection starts at.
* @param row The row the selection starts at.
* @param length The length of the selection.
*/