Gabriel Fernandes gabrielfern

## relogio.py
#!/usr/bin/env python3
import tkinter
from time import strftime

def tic():
    rel['text'] = strftime('%H:%M:%S')

def tac():
    tic()
    rel.after(1000, tac)

## git-tag-delete-local-and-remote.sh
# delete local tag '12345'
git tag -d 12345
# delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345
# alternative approach
git push --delete origin tagName
git tag -d tagName

## gist:61633effa9889b5478ea2d92aa8a0d37
import random

def merge_sort(xs):
    """Inplace merge sort of array without recursive. The basic idea
    is to avoid the recursive call while using iterative solution.
    The algorithm first merge chunk of length of 2, then merge chunks
    of length 4, then 8, 16, .... , until 2^k where 2^k is large than
    the length of the array
    """
	#!/usr/bin/env python3
	import tkinter
	from time import strftime

	def tic():
	rel['text'] = strftime('%H:%M:%S')

	def tac():
	tic()
	rel.after(1000, tac)
	import random

	def merge_sort(xs):
	"""Inplace merge sort of array without recursive. The basic idea
	is to avoid the recursive call while using iterative solution.
	The algorithm first merge chunk of length of 2, then merge chunks
	of length 4, then 8, 16, .... , until 2^k where 2^k is large than
	the length of the array
	"""