Commits on May 29, 2020

1. build: Install headers …

   Reintroduce this feature after 99ec371
   
   It was useful for debian packaging (iotjs-dev),
   to match quality standards.
   
   Email has been updated for community support
   
   Relate-to: https://packages.qa.debian.org/i/iotjs.html
   Fowarded: jerryscript-project#1896
   Relate-to: jerryscript-project#1145
   Change-Id: Idd9a18bbe692baeb468152df5149374512e9350b
   IoT.js-DCO-1.0-Signed-off-by: Philippe Coval rzr@users.sf.net

   

   rzr committed May 29, 2020
   Configuration menu

   • View commit details
   • Copy full SHA for 392a75c
   • Browse repository at this point

   Copy the full SHA

   392a75c View commit details

   Browse the repository at this point in the history