diff options
| author | dvorakluk <dvorakluk@users.noreply.github.com> | 2016-11-23 00:48:11 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-23 00:48:11 +0300 |
| commit | 0c8fc367a78d025d71960a1ca051fafb0ad96e98 (patch) | |
| tree | 4d7301a370002c21ac89550d10d640206f6c72ef /root | |
| parent | 7832011dcf5c8b82caa7d6b379c5df17d5681fea (diff) | |
Get default numbering system for symbols.
Should resolve #5
Diffstat (limited to 'root')
0 files changed, 0 insertions, 0 deletions