====== Tools and tricks ======

  * Useful [[bash]] commands 
  * Use [[SVN]] locally
  * [[pdf_merge|Merge]] multiple ps or pdf files
  * [[Synchronize]] directories