annexia.org >> repositories - goals.git/commit

author	Richard W.M. Jones <rjones@redhat.com>
	Mon, 20 Jan 2020 15:01:06 +0000 (15:01 +0000)
committer	Richard W.M. Jones <rjones@redhat.com>
	Mon, 20 Jan 2020 15:05:38 +0000 (15:05 +0000)
commit	5e13f1e2a3dc1237fcf2fa141d8379bdd36bde61
tree	6565b38f57ae89b72fab3a3cd28285b1985a90ea	tree \| snapshot
parent	8a0ede3292b4968b1e3261ad97b96d5ea0ad16fd	commit \| diff

Rename tactic -> predicate.

Predicates always have the form ‘is-foo’ (like ‘*foo’ for tactics).

16 files changed:

Unnamed repository; edit this file 'description' to name the repository.