view stubs/rdflib/plugins/__init__.pyi @ 2332:2aeceb6f03aa

edit-choice defaults to no 'rename' button
author drewp@bigasterisk.com
date Fri, 02 Jun 2023 09:42:48 -0700
parents 0f0ff27e55a3
children
line wrap: on
line source