diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-05-18 11:19:46 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-05-18 14:43:16 -0700 |
| commit | ceba4b1628590fc169c6fe794c480823b719eb7a (patch) | |
| tree | f1e562999ab4da83661cd0e57576df79956a839e /Documentation/user-manual_es.txt | |
| parent | d0d599470adc946a78dcce2ce53114518e82ace3 (diff) | |
| download | subsurface-ceba4b1628590fc169c6fe794c480823b719eb7a.tar.gz | |
Travis: remove old Windows build
The container build should now handle all we need.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/user-manual_es.txt')
0 files changed, 0 insertions, 0 deletions