From 8d075b1d57a8de580bea0bcf280a477672ae5ed0 Mon Sep 17 00:00:00 2001 From: krangelov Date: Mon, 11 Oct 2021 08:59:28 +0200 Subject: [PATCH] move the runtime documentation to the main doc folder --- {src/runtime/c/doc => doc/hackers-guide}/DESIDERATA.md | 0 {src/runtime/c/doc => doc/hackers-guide}/README.md | 0 {src/runtime/c/doc => doc/hackers-guide}/abstract_expressions.md | 0 {src/runtime/c/doc => doc/hackers-guide}/memory_model.md | 0 {src/runtime/c/doc => doc/hackers-guide}/transactions.md | 0 5 files changed, 0 insertions(+), 0 deletions(-) rename {src/runtime/c/doc => doc/hackers-guide}/DESIDERATA.md (100%) rename {src/runtime/c/doc => doc/hackers-guide}/README.md (100%) rename {src/runtime/c/doc => doc/hackers-guide}/abstract_expressions.md (100%) rename {src/runtime/c/doc => doc/hackers-guide}/memory_model.md (100%) rename {src/runtime/c/doc => doc/hackers-guide}/transactions.md (100%) diff --git a/src/runtime/c/doc/DESIDERATA.md b/doc/hackers-guide/DESIDERATA.md similarity index 100% rename from src/runtime/c/doc/DESIDERATA.md rename to doc/hackers-guide/DESIDERATA.md diff --git a/src/runtime/c/doc/README.md b/doc/hackers-guide/README.md similarity index 100% rename from src/runtime/c/doc/README.md rename to doc/hackers-guide/README.md diff --git a/src/runtime/c/doc/abstract_expressions.md b/doc/hackers-guide/abstract_expressions.md similarity index 100% rename from src/runtime/c/doc/abstract_expressions.md rename to doc/hackers-guide/abstract_expressions.md diff --git a/src/runtime/c/doc/memory_model.md b/doc/hackers-guide/memory_model.md similarity index 100% rename from src/runtime/c/doc/memory_model.md rename to doc/hackers-guide/memory_model.md diff --git a/src/runtime/c/doc/transactions.md b/doc/hackers-guide/transactions.md similarity index 100% rename from src/runtime/c/doc/transactions.md rename to doc/hackers-guide/transactions.md