diff options
| author | Björn Gustavsson <[email protected]> | 2019-01-07 14:40:51 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-01-07 14:40:51 +0100 |
| commit | 3db7e967cf21af1f42febff4293274b84c7bd6b4 (patch) | |
| tree | 346ee643baaa95f78288a6a74378f2e3ce2624d0 /lib/edoc/Makefile | |
| parent | 3f5c2d32d325668534beedea7d7b7accf0b30066 (diff) | |
| parent | 12f831fd482b5677aff5529374b55c73757f5246 (diff) | |
| download | otp-3db7e967cf21af1f42febff4293274b84c7bd6b4.tar.gz otp-3db7e967cf21af1f42febff4293274b84c7bd6b4.tar.bz2 otp-3db7e967cf21af1f42febff4293274b84c7bd6b4.zip | |
Merge pull request #2059 from michalmuskala/mm/bif-microops
Use microops for BIFs
Diffstat (limited to 'lib/edoc/Makefile')
0 files changed, 0 insertions, 0 deletions