Skip to content
Snippets Groups Projects
Commit c4e1021f authored by Bienchen's avatar Bienchen
Browse files

Fixed small bug in RenameChain: now it's allowed to rename a chain with its... 

Fixed small bug in RenameChain: now it's allowed to rename a chain with its own current name. Also enhanced test on RenameChain. Fixed documentation of RenameChain, RenameAtom
parent 1c0a6a74
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment