From 2bea592952b8a9f9860bb646ddf72d26eac4ad29 Mon Sep 17 00:00:00 2001
From: umarcor <38422348+umarcor@users.noreply.github.com>
Date: Fri, 10 Apr 2020 07:48:47 +0200
Subject: update doc (synth, overview, generics, etc.) (#1205)

* doc: extend info about setting generics through the CLI

* doc: rename 'Command Reference' to 'Additional Command Reference'

* doc: use '``' instead of ':samp:'

* doc: update info about synthesis

* doc: add references to sources in internals/Overview

* doc: add diagram to internals/Overview
---
 doc/_static/icons/.gitempty  | 0
 doc/_static/images/.gitempty | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 doc/_static/icons/.gitempty
 delete mode 100644 doc/_static/images/.gitempty

(limited to 'doc/_static')

diff --git a/doc/_static/icons/.gitempty b/doc/_static/icons/.gitempty
deleted file mode 100644
index e69de29bb..000000000
diff --git a/doc/_static/images/.gitempty b/doc/_static/images/.gitempty
deleted file mode 100644
index e69de29bb..000000000
-- 
cgit v1.2.3