Update release.yml for Azure Pipelines

Z3Prover · Jul 13, 2021 · 75a5de9 · 75a5de9
1 parent 82e477a
commit 75a5de9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/scripts/release.yml b/scripts/release.yml
@@ -107,7 +107,6 @@ stages:
       inputs:
         artifactName: 'UbuntuDoc'
         targetPath: $(Build.ArtifactStagingDirectory)
-	
 
   - job: ManyLinuxBuild
     displayName: "ManyLinux build"