Mirrors/SubtitleEdit
1
0
Fork 0
mirror of https://github.com/SubtitleEdit/subtitleedit.git synced 2024-11-21 18:52:36 +01:00
Code Issues Projects Releases Wiki Activity

Merge pull request #8271 from Gzushgshsh/patch-1

Browse Source 
Correct a detail
This commit is contained in:
Nikolaj Olsson 2024-04-29 06:46:08 +02:00 committed by GitHub
commit 7b15d11cc1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build.sh
View File

@ -1,4 +1,4 @@
#!bin/bash #!/bin/bash
function ShowHelp() function ShowHelp()
{ {