diff src/.gdbinit @ 63729:d667a89621c9

(Rings): `ring-elements' now returns the elements of RING in order.
author Luc Teirlinck <teirllm@auburn.edu>
date Fri, 24 Jun 2005 01:30:16 +0000
parents 123211374403
children a8fa7c632ee4 21eea50897a7 f042e7c0fe20
line wrap: on
line diff