-
sajolida authored
Let's keep the full version in the Git checkout for some times, just in case it might be useful to use in some circumstances (for debugging for example).
9ab8d94a
Let's keep the full version in the Git checkout for some times, just in case it might be useful to use in some circumstances (for debugging for example).