aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKylie McClain <kylie@somas.is>2020-07-07 07:16:23 -0400
committerKylie McClain <kylie@somas.is>2020-07-07 07:16:23 -0400
commit63893c1ca850e0a557abe96ef0e0c9dbd68c63eb (patch)
treeebf7d7078bc0b260fa99e1e938e97dc236df287a
parentda2aea24e1a6106a46a010acaa1459a792c7772b (diff)
downloadpraxis-63893c1ca850e0a557abe96ef0e0c9dbd68c63eb.tar.gz
praxis-63893c1ca850e0a557abe96ef0e0c9dbd68c63eb.tar.xz
praxis-63893c1ca850e0a557abe96ef0e0c9dbd68c63eb.zip
praxis(7): ::mutiny --> ::primary
not really any reason to indicate the distro name in something like a repository name. and, it's more descriptive.
-rw-r--r--praxis.7.adoc2
1 files changed, 1 insertions, 1 deletions
diff --git a/praxis.7.adoc b/praxis.7.adoc
index f59595a..3f5d912 100644
--- a/praxis.7.adoc
+++ b/praxis.7.adoc
@@ -65,7 +65,7 @@ require a shell parser for anything other than running the actual actions that b
* Multiple repositories
** Intra-repository dependencies
** Priority levels
- *** `::mutiny` is the most important repository.
+ *** `::primary` is the most important repository.
*** Other repositories should always be able to depend on libraries in repositories that
are have a higher priority.