tree 4ee75ef39a5625be5cca76ea146c4403bf188515
parent 788e1a9b729fb3d45197d77eed025af02c35fa05
author Shawn O. Pearce <sop@google.com> 1280354237 -0700
committer Shawn O. Pearce <sop@google.com> 1280354237 -0700

documentation: Cleanup dk.brics.automaton entry in licenses

Change-Id: I69963e0824d1de23df6bf6786e5c589cb93f49d5
Signed-off-by: Shawn O. Pearce <sop@google.com>