11 lines
132 B
Bash
Executable File
11 lines
132 B
Bash
Executable File
#!/bin/bash
|
|
|
|
|
|
rm ../source/thin/*.ads
|
|
rm ../source/thin/*.cxx
|
|
|
|
mv ./*.ads ../source/thin
|
|
mv ./*.cxx ../source/thin
|
|
|
|
|