Skip to content

Commit bfc1e6a

Browse files
roberthoenigroberthoenig
committed
README.md: Clarify meaning of status badgets.
1 parent 113e2d7 commit bfc1e6a

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

‎README.md‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
| **Build status** | **Coverage** |
2-
|:-----------------:|:----------------:|
3-
| [![][travis-img]][travis-url] [![][appveyor-img]][appveyor-url] | [![][codecov-img]][codecov-url] |
1+
| **Linux** | **Windows** | **Coverage** |
2+
|:-----------------:|:----------------:|:----------------:|
3+
| [![][travis-img]][travis-url] | [![][appveyor-img]][appveyor-url] | [![][codecov-img]][codecov-url] |
44

55
# FirstOrderLogic
66

0 commit comments

Comments
 (0)