File tree Expand file tree Collapse file tree 19 files changed +62
-62
lines changed
Expand file tree Collapse file tree 19 files changed +62
-62
lines changed Original file line number Diff line number Diff line change 11# Sphinx build info version 1
22# This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
3- config: 5a38d015ce2b71fe04ce65d6e0363918
3+ config: d7bdeae03af8c671c57e6d0e7ab39b8e
44tags: 645f666f9bcd5a90fca523b33c5a78b7
Original file line number Diff line number Diff line change 11const DOCUMENTATION_OPTIONS = {
2- VERSION : 'master (a958ecd ) (2026/03/05 15:39 )' ,
2+ VERSION : 'master (e9012a9 ) (2026/03/10 09:46 )' ,
33 LANGUAGE : 'en' ,
44 COLLAPSE_INDEX : false ,
55 BUILDER : 'html' ,
Original file line number Diff line number Diff line change 55
66 < meta name ="viewport " content ="width=device-width, initial-scale=1.0 " />
77 < title > About SuperBOL — superbol-studio-oss master
8- (a958ecd
9- ) (2026/03/05 15:39 ) documentation</ title >
8+ (e9012a9
9+ ) (2026/03/10 09:46 ) documentation</ title >
1010 < link rel ="stylesheet " type ="text/css " href ="_static/pygments.css?v=d8449d71 " />
1111 < link rel ="stylesheet " type ="text/css " href ="_static/css/theme.css?v=86f27845 " />
1212 < link rel ="stylesheet " type ="text/css " href ="_static/css/fixes.css " />
1515
1616 < script src ="_static/jquery.js?v=8dae8fb0 "> </ script >
1717 < script src ="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c "> </ script >
18- < script src ="_static/documentation_options.js?v=01866420 "> </ script >
18+ < script src ="_static/documentation_options.js?v=9276b7bb "> </ script >
1919 < script src ="_static/doctools.js?v=888ff710 "> </ script >
2020 < script src ="_static/sphinx_highlight.js?v=dc90522c "> </ script >
2121 < script src ="_static/js/theme.js "> </ script >
3939 </ a >
4040 < div class ="version ">
4141 master
42- (a958ecd
42+ (e9012a9
4343)
4444 </ div >
4545< div role ="search ">
Original file line number Diff line number Diff line change 55
66 < meta name ="viewport " content ="width=device-width, initial-scale=1.0 " />
77 < title > Building the LSP binary — superbol-studio-oss master
8- (a958ecd
9- ) (2026/03/05 15:39 ) documentation</ title >
8+ (e9012a9
9+ ) (2026/03/10 09:46 ) documentation</ title >
1010 < link rel ="stylesheet " type ="text/css " href ="_static/pygments.css?v=d8449d71 " />
1111 < link rel ="stylesheet " type ="text/css " href ="_static/css/theme.css?v=86f27845 " />
1212 < link rel ="stylesheet " type ="text/css " href ="_static/css/fixes.css " />
1515
1616 < script src ="_static/jquery.js?v=8dae8fb0 "> </ script >
1717 < script src ="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c "> </ script >
18- < script src ="_static/documentation_options.js?v=01866420 "> </ script >
18+ < script src ="_static/documentation_options.js?v=9276b7bb "> </ script >
1919 < script src ="_static/doctools.js?v=888ff710 "> </ script >
2020 < script src ="_static/sphinx_highlight.js?v=dc90522c "> </ script >
2121 < script src ="_static/js/theme.js "> </ script >
3939 </ a >
4040 < div class ="version ">
4141 master
42- (a958ecd
42+ (e9012a9
4343)
4444 </ div >
4545< div role ="search ">
Original file line number Diff line number Diff line change 55
66 < meta name ="viewport " content ="width=device-width, initial-scale=1.0 " />
77 < title > Building the VSIX from Sources — superbol-studio-oss master
8- (a958ecd
9- ) (2026/03/05 15:39 ) documentation</ title >
8+ (e9012a9
9+ ) (2026/03/10 09:46 ) documentation</ title >
1010 < link rel ="stylesheet " type ="text/css " href ="_static/pygments.css?v=d8449d71 " />
1111 < link rel ="stylesheet " type ="text/css " href ="_static/css/theme.css?v=86f27845 " />
1212 < link rel ="stylesheet " type ="text/css " href ="_static/css/fixes.css " />
1515
1616 < script src ="_static/jquery.js?v=8dae8fb0 "> </ script >
1717 < script src ="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c "> </ script >
18- < script src ="_static/documentation_options.js?v=01866420 "> </ script >
18+ < script src ="_static/documentation_options.js?v=9276b7bb "> </ script >
1919 < script src ="_static/doctools.js?v=888ff710 "> </ script >
2020 < script src ="_static/sphinx_highlight.js?v=dc90522c "> </ script >
2121 < script src ="_static/js/theme.js "> </ script >
3939 </ a >
4040 < div class ="version ">
4141 master
42- (a958ecd
42+ (e9012a9
4343)
4444 </ div >
4545< div role ="search ">
Original file line number Diff line number Diff line change 55
66 < meta name ="viewport " content ="width=device-width, initial-scale=1.0 " />
77 < title > Sub-commands and Arguments — superbol-studio-oss master
8- (a958ecd
9- ) (2026/03/05 15:39 ) documentation</ title >
8+ (e9012a9
9+ ) (2026/03/10 09:46 ) documentation</ title >
1010 < link rel ="stylesheet " type ="text/css " href ="_static/pygments.css?v=d8449d71 " />
1111 < link rel ="stylesheet " type ="text/css " href ="_static/css/theme.css?v=86f27845 " />
1212 < link rel ="stylesheet " type ="text/css " href ="_static/css/fixes.css " />
1515
1616 < script src ="_static/jquery.js?v=8dae8fb0 "> </ script >
1717 < script src ="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c "> </ script >
18- < script src ="_static/documentation_options.js?v=01866420 "> </ script >
18+ < script src ="_static/documentation_options.js?v=9276b7bb "> </ script >
1919 < script src ="_static/doctools.js?v=888ff710 "> </ script >
2020 < script src ="_static/sphinx_highlight.js?v=dc90522c "> </ script >
2121 < script src ="_static/js/theme.js "> </ script >
3939 </ a >
4040 < div class ="version ">
4141 master
42- (a958ecd
42+ (e9012a9
4343)
4444 </ div >
4545< div role ="search ">
Original file line number Diff line number Diff line change 55
66 < meta name ="viewport " content ="width=device-width, initial-scale=1.0 " />
77 < title > SuperBOL VSCode Debug — superbol-studio-oss master
8- (a958ecd
9- ) (2026/03/05 15:39 ) documentation</ title >
8+ (e9012a9
9+ ) (2026/03/10 09:46 ) documentation</ title >
1010 < link rel ="stylesheet " type ="text/css " href ="_static/pygments.css?v=d8449d71 " />
1111 < link rel ="stylesheet " type ="text/css " href ="_static/css/theme.css?v=86f27845 " />
1212 < link rel ="stylesheet " type ="text/css " href ="_static/css/fixes.css " />
1515
1616 < script src ="_static/jquery.js?v=8dae8fb0 "> </ script >
1717 < script src ="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c "> </ script >
18- < script src ="_static/documentation_options.js?v=01866420 "> </ script >
18+ < script src ="_static/documentation_options.js?v=9276b7bb "> </ script >
1919 < script src ="_static/doctools.js?v=888ff710 "> </ script >
2020 < script src ="_static/sphinx_highlight.js?v=dc90522c "> </ script >
2121 < script src ="_static/js/theme.js "> </ script >
3939 </ a >
4040 < div class ="version ">
4141 master
42- (a958ecd
42+ (e9012a9
4343)
4444 </ div >
4545< div role ="search ">
Original file line number Diff line number Diff line change 55
66 < meta name ="viewport " content ="width=device-width, initial-scale=1.0 " />
77 < title > SuperBOL mode for GNU/Emacs — superbol-studio-oss master
8- (a958ecd
9- ) (2026/03/05 15:39 ) documentation</ title >
8+ (e9012a9
9+ ) (2026/03/10 09:46 ) documentation</ title >
1010 < link rel ="stylesheet " type ="text/css " href ="_static/pygments.css?v=d8449d71 " />
1111 < link rel ="stylesheet " type ="text/css " href ="_static/css/theme.css?v=86f27845 " />
1212 < link rel ="stylesheet " type ="text/css " href ="_static/css/fixes.css " />
1515
1616 < script src ="_static/jquery.js?v=8dae8fb0 "> </ script >
1717 < script src ="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c "> </ script >
18- < script src ="_static/documentation_options.js?v=01866420 "> </ script >
18+ < script src ="_static/documentation_options.js?v=9276b7bb "> </ script >
1919 < script src ="_static/doctools.js?v=888ff710 "> </ script >
2020 < script src ="_static/sphinx_highlight.js?v=dc90522c "> </ script >
2121 < script src ="_static/js/theme.js "> </ script >
3939 </ a >
4040 < div class ="version ">
4141 master
42- (a958ecd
42+ (e9012a9
4343)
4444 </ div >
4545< div role ="search ">
Original file line number Diff line number Diff line change 44 < meta charset ="utf-8 " />
55 < meta name ="viewport " content ="width=device-width, initial-scale=1.0 " />
66 < title > Index — superbol-studio-oss master
7- (a958ecd
8- ) (2026/03/05 15:39 ) documentation</ title >
7+ (e9012a9
8+ ) (2026/03/10 09:46 ) documentation</ title >
99 < link rel ="stylesheet " type ="text/css " href ="_static/pygments.css?v=d8449d71 " />
1010 < link rel ="stylesheet " type ="text/css " href ="_static/css/theme.css?v=86f27845 " />
1111 < link rel ="stylesheet " type ="text/css " href ="_static/css/fixes.css " />
1414
1515 < script src ="_static/jquery.js?v=8dae8fb0 "> </ script >
1616 < script src ="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c "> </ script >
17- < script src ="_static/documentation_options.js?v=01866420 "> </ script >
17+ < script src ="_static/documentation_options.js?v=9276b7bb "> </ script >
1818 < script src ="_static/doctools.js?v=888ff710 "> </ script >
1919 < script src ="_static/sphinx_highlight.js?v=dc90522c "> </ script >
2020 < script src ="_static/js/theme.js "> </ script >
3636 </ a >
3737 < div class ="version ">
3838 master
39- (a958ecd
39+ (e9012a9
4040)
4141 </ div >
4242< div role ="search ">
You can’t perform that action at this time.
0 commit comments