Browse Source

Merged with last commit

pull/36/head
Jure Šorn 5 years ago
parent
commit
6607b55959
1 changed files with 1 additions and 6 deletions
  1. 7
      web/script_2.js

7
web/script_2.js

@ -149,12 +149,7 @@ const DIAGRAM_7_A =
const DIAGRAM_7_B = const DIAGRAM_7_B =
'┏━━━━━━━━━━━━┯━━━━━━━━━━┯━━━━━━━━━━━━┯━━━━━━━━━━┯━━━━━━━━━━━━━━┓\n' + '┏━━━━━━━━━━━━┯━━━━━━━━━━┯━━━━━━━━━━━━┯━━━━━━━━━━┯━━━━━━━━━━━━━━┓\n' +
'┃ │ Iterable │ Collection │ Sequence │ abc.Sequence ┃\n' + '┃ │ Iterable │ Collection │ Sequence │ abc.Sequence ┃\n' +
'┠────────────┼──────────┼────────────┼──────────┼──────────────┨\n' +
'┃ iter() │ ✓ │ ✓ │ ✓ │ ✓ ┃\n' +
'┃ len() │ │ ✓ │ ✓ │ ✓ ┃\n' +
'┃ getitem() │ │ │ ✓ │ ✓ ┃\n' +
'┃ contains() │ │ ✓ │ │ ✓ ┃\n' +
'┗━━━━━━━━━━━━┷━━━━━━━━━━┷━━━━━━━━━━━━┷━━━━━━━━━━┷━━━━━━━━━━━━━━┛\n';
'┠────────────┼──────────┼────────────┼──────────┼──────────────┨\n';
// isFontAvailable: // isFontAvailable:

Loading…
Cancel
Save