Revert bad merge change

Signed-off-by: KIRAN KASHALKAR <kiran.kashalkar@riftio.com>
1 file changed
tree: ccd27131b9244a8946f4384500e20e6ac5011e96
  1. .gitignore
  2. CMakeLists.txt
  3. Makefile
  4. manifest/
  5. skyquake/