]> rtime.felk.cvut.cz Git - pes-rpp/rpp-lib.git/blobdiff - os/7.4.2/os.txt
Remove the name of the platform from the OS folder name
[pes-rpp/rpp-lib.git] / os / 7.4.2 / os.txt
similarity index 100%
rename from os/7.4.2_rm48/os.txt
rename to os/7.4.2/os.txt