Added docker build example#5

dagelf wants to merge 1 commit intolibtins:masterlibtins/libtins.github.io:masterfrom

dagelf:patch-5dagelf/libtins.github.io:patch-5Copy head branch name to clipboard