| .. |
|
index.js
|
6b9b6df022
use ES6 modules in the extension code
|
%!s(int64=5) %!d(string=hai) anos |
|
ui-button.js
|
6b9b6df022
use ES6 modules in the extension code
|
%!s(int64=5) %!d(string=hai) anos |
|
ui-commands.js
|
6b9b6df022
use ES6 modules in the extension code
|
%!s(int64=5) %!d(string=hai) anos |
|
ui-editor.js
|
98240ac516
support profiles in the annotation editor (fix #756)
|
%!s(int64=4) %!d(string=hai) anos |
|
ui-menus.js
|
98240ac516
support profiles in the annotation editor (fix #756)
|
%!s(int64=4) %!d(string=hai) anos |
|
ui-options.js
|
3d387bde6d
add option "Destionation > save to GitHub"
|
%!s(int64=4) %!d(string=hai) anos |
|
ui-panel.js
|
6b9b6df022
use ES6 modules in the extension code
|
%!s(int64=5) %!d(string=hai) anos |
|
ui-pendings.js
|
6b9b6df022
use ES6 modules in the extension code
|
%!s(int64=5) %!d(string=hai) anos |
Gildas
3d387bde6d
add option "Destionation > save to GitHub"