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/util.h | |
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/util.h')
0 files changed, 0 insertions, 0 deletions