diff options
| author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2013-02-06 11:06:59 +0000 |
|---|---|---|
| committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2013-02-06 11:06:59 +0000 |
| commit | 904fa7d389b98a3ce7735f2979652be43f28ee2a (patch) | |
| tree | 3193949d8eea0005041f9197972c25e248cd1a82 /tikzit/src/common/Edge.m | |
| parent | 0766b825aecf072ce4586d6b447bb782f2adb56b (diff) | |
Revert "Remove double-borders from edge style selector"
This reverts commit 0766b825aecf072ce4586d6b447bb782f2adb56b.
This appears to be just be a quirk of theme I was using at the time.
Diffstat (limited to 'tikzit/src/common/Edge.m')
0 files changed, 0 insertions, 0 deletions