Skip to content

Commit d89e5ef

Browse files
vesalvojdanivesalvojdani
committed
tag 0.9.5
1 parent dcfa956 commit d89e5ef

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

‎scripts/make_dist.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
#!/bin/bash
2-
REL=goblint-0.9.5-alpha1
2+
REL=goblint-0.9.5
33
mkdir $REL
44
svn export . $REL/goblint
55
svn export ../cil $REL/cil

‎scripts/make_win.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
#!/bin/bash
2-
REL=goblint-0.9.5-alpha1
2+
REL=goblint-0.9.5
33
mkdir $REL
44
cp goblint.exe $REL
55
cp LICENSE* $REL

0 commit comments

Comments
 (0)