diff options
author | Paweł Redman <pawel.redman@gmail.com> | 2020-02-16 11:14:09 +0100 |
---|---|---|
committer | Paweł Redman <pawel.redman@gmail.com> | 2020-02-16 11:18:55 +0100 |
commit | 87eb67408f9230315494a8cf66fe264196a04ad0 (patch) | |
tree | 63ee9d8b92b7cffaa38d83b4222ffd1e391eb75b /main.ist |
Diffstat (limited to 'main.ist')
-rw-r--r-- | main.ist | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/main.ist b/main.ist new file mode 100644 index 0000000..005dc36 --- /dev/null +++ b/main.ist @@ -0,0 +1,3 @@ +delim_0 " \\dotfill " +delim_1 " \\dotfill " +delim_2 " \\dotfill " |