automatic-merge
|
46f05797cd
|
Merge remote branch 'origin/master' into edge
|
2023-07-05 00:55:24 +00:00 |
|
Vadim Godunko
|
74059f87bf
|
Merge branch 'topic/vadim-fix-check-install' into 'master'
Fix failure of check_install used by GH.
See merge request eng/ide/VSS!271
|
2023-07-04 18:55:34 +00:00 |
|
Vadim Godunko
|
6ae7497ed9
|
Fix failure of check_install used by GH.
|
2023-07-04 08:56:16 +03:00 |
|
Vadim Godunko
|
eec9367542
|
Merge branch 'topic/json-streams' into 'master'
Update to use new VSS JSON API
See merge request eng/ide/VSS!269
|
2023-07-04 05:16:34 +00:00 |
|
automatic-merge
|
5b20d3e2b8
|
Merge remote branch 'origin/master' into edge
|
2023-06-24 00:55:28 +00:00 |
|
Vadim Godunko
|
4d71215b89
|
Update to use new VSS JSON API.
|
2023-06-23 15:41:24 +04:00 |
|
Vadim Godunko
|
1c33eb765f
|
Force use of Ada 2022.
|
2023-06-23 15:41:00 +04:00 |
|
Vadim Godunko
|
a3d77d7978
|
Use Ada 2022 syntax.
|
2023-06-23 15:35:10 +04:00 |
|
Vadim Godunko
|
6ed6c919ba
|
Reflect changes in VSS ISON API.
|
2023-06-23 15:34:24 +04:00 |
|
Vadim Godunko
|
d07d5d3cfc
|
Merge branch 'topic/json-streams' into 'master'
Merge almost duplicate declarations of JSON_Event_Kind...
See merge request eng/ide/VSS!268
|
2023-06-23 10:21:29 +00:00 |
|
Vadim Godunko
|
f6ec3f1fb5
|
Move subprogram to public part to workaround compiler's bug.
|
2023-06-15 19:15:03 +04:00 |
|
Vadim Godunko
|
2022838129
|
Fix Ada 2022 syntax of arrays.
|
2023-06-15 18:39:48 +04:00 |
|
Vadim Godunko
|
6962b085fa
|
Rename Key to Key_Name to sync with element kind name.
|
2023-06-15 18:38:18 +04:00 |
|
Vadim Godunko
|
d46a9b17eb
|
Subprogram to obtain current element of JSON stream.
|
2023-06-15 18:35:52 +04:00 |
|
Vadim Godunko
|
e11eb668bc
|
Merge almost duplicate declarations of JSON_Event_Kind...
... and provide interface type for cursor on JSON stream.
|
2023-06-15 16:56:42 +04:00 |
|
automatic-merge
|
02609596c3
|
Merge remote branch 'origin/master' into edge
|
2023-06-06 00:55:25 +00:00 |
|
Vadim Godunko
|
2303672d16
|
Merge branch 'topic/cmdline' into 'master'
Use full path in documentation URI.
See merge request eng/ide/VSS!267
|
2023-06-05 11:21:33 +00:00 |
|
Vadim Godunko
|
907908c6b7
|
Fix typos and add spellcheck exceptions
|
2023-06-05 14:55:52 +04:00 |
|
Vadim Godunko
|
b842641c5a
|
Use executable name in the help information.
|
2023-06-05 14:35:16 +04:00 |
|
Vadim Godunko
|
ae7695449d
|
Remove executable bit for source files.
|
2023-06-05 11:16:25 +04:00 |
|
Vadim Godunko
|
06d339ccaf
|
Use full path in documentation URI.
It allows link to work in both repository view and generated
documentation cases.
Refs GH #191.
|
2023-06-05 10:54:09 +04:00 |
|
automatic-merge
|
9fc7249ad6
|
Merge remote branch 'origin/master' into edge
|
2023-06-03 00:55:26 +00:00 |
|
Vadim Godunko
|
c303c1b439
|
Merge branch 'topic/cmdline' into 'master'
Builtin support for command line help
Closes #194
See merge request eng/ide/VSS!266
|
2023-06-02 16:30:06 +00:00 |
|
Vadim Godunko
|
97b79096bd
|
Implement new API to display messges on Windows.
|
2023-06-02 10:29:01 +03:00 |
|
Vadim Godunko
|
030293870d
|
Builtin support for help option.
|
2023-06-02 10:58:01 +04:00 |
|