« Previous | Next » 

Revision 7c3a6391

ID7c3a6391021867f6f213ba949ffca10dfe7a79ba
Parent a4417db4
Child b12a6a00

Added by Klaus Aehlig over 7 years ago

Move saving of a command list to CLI

Move the function that saves a list of a command in a file
to CLI.hs. In this way, it is reusable by other htools.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Hrvoje Ribicic <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences