summaryrefslogtreecommitdiffhomepage
path: root/doc/gpl.texi
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2001-06-05 21:23:29 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2001-06-05 21:23:29 +0000
commit2ef7c8ce599aeb5cbec91976f2db539d251968da (patch)
tree942b5eb652da935a51cfdedcab1169d799033327 /doc/gpl.texi
parent69c2d3eea15619608e516db139ed2f7912665661 (diff)
downloadmdk-2ef7c8ce599aeb5cbec91976f2db539d251968da.tar.gz
mdk-2ef7c8ce599aeb5cbec91976f2db539d251968da.tar.bz2
(cmd_compile_) messages about executed command added
Diffstat (limited to 'doc/gpl.texi')
0 files changed, 0 insertions, 0 deletions