diff options
author | Rubén Rincón Blanco <ruben@rinconblanco.es> | 2019-06-10 02:04:54 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-10 02:04:54 +0200 |
commit | a94684979e375e80e5a2dff4066e33fadac0ae14 (patch) | |
tree | f9a15f7bdc2be37be40d8bf6f20d4429445161e2 /lib/compilers/pascal.js | |
parent | c33fe9cd866d87d2a0e69a1e9d2ba1f22d1c3f5b (diff) | |
parent | 19bb211df1b5f7ce1851938076fbdc50d61241dc (diff) | |
download | compiler-explorer-a94684979e375e80e5a2dff4066e33fadac0ae14.tar.gz compiler-explorer-a94684979e375e80e5a2dff4066e33fadac0ae14.zip |
Merge pull request #1422 from mattgodbolt/extract_tools_configpath
Make tools path configurable
Diffstat (limited to 'lib/compilers/pascal.js')
0 files changed, 0 insertions, 0 deletions