-
Carlos Soriano Sánchez authored
Instead of shell scripts, much better to maintain. Also, the new python script has better handling of non existing paths.
53928d7f
Instead of shell scripts, much better to maintain. Also, the new python script has better handling of non existing paths.